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