The current version of pack scasp does not contain a file examples/hanoi_7.pl
scasp
examples/hanoi_7.pl