The current version of pack scasp does not contain a file test/small_programs/solve_not_true.pl
scasp
test/small_programs/solve_not_true.pl