Did you know ... Search Documentation:
Pack pac -- prolog/misc/zdd.pl
PublicShow source
 sat(+X) is det
Alias for sat(X, rozdd).

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 family_of_sets(Arg1, Arg2)