The current version of pack scasp does not contain a file test/all_programs/hanoi_scasp_7.pl
scasp
test/all_programs/hanoi_scasp_7.pl