HERB

WILF , and HERB , Two Maple packages that automatically find (rigorously and empirically, respectively) Enumeration Schemes for counting permutations with forbidden patterns (Wilf classes). They accompanies Doron Zeilberger’s paper ”Enumeration Schemes, and More Importantly, Their Automatic Generation”.