The current version of pack scasp does not contain a file prolog/scasp/solve.pl
scasp
prolog/scasp/solve.pl