The current version of pack pac does not contain a file prolog/misc/zdd-heaven-hell.pl
pac
prolog/misc/zdd-heaven-hell.pl