Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS.