JaCoP.constraints

Class XplusCeqZ