new ProblemState.entailIf method, added remove(Variable…) methods to work with variables not in problem
new ProblemState.entailIf method, added remove(Variable…) methods to
work with variables not in problem
concrete-cp/concrete,concrete-cp/concrete