KamaTzviot

KamaTzviot a Maple package for deriving generating functions for chromatic polynomials of sequences of grid graphs, and much more general creatures. It accompanies the article ”Automatic generation of theorems and proofs on enumerating consecutive-Wilf classes” by Shalosh B. Ekhad, Jocelyn Quaintance, and Doron Zeilberger .