The current version of pack scasp does not contain a file examples/benchmark_iclp18/towers_hanoi/hanoi_scasp_7.pl
scasp
examples/benchmark_iclp18/towers_hanoi/hanoi_scasp_7.pl