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