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