Sperner families generator

Code to generate all (inequivalent) Sperner families on a base set of up to 7 elements. Equivalently, this generates all (inequivalent) monotone Boolean functions.