The current version of pack pac does not contain a file prolog/zdd/build-frontier-table-mate-order.pl
pac
prolog/zdd/build-frontier-table-mate-order.pl