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