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