Did you know ... Search Documentation:
Pack pac -- prolog/zdd/zdd-eval-count.pl
PublicShow source

Undocumented predicates

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

 count_all
 eval_count_one(Arg1)