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