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