Did you know ... Search Documentation:
Pack pac -- prolog/misc/zdd.pl
PublicShow source
 family_of_sets(+X, -Y) is det
Unify Y with an index of a ZDD for a family X of sets.
 sat(+X) is det
Alias for sat(X, rozdd). sat(X) :- sat(X, rozdd).