Adds an extra rule to the problem. Does not run a search for valid solutions, this has to be done, to get the reduced valid domaines after adding the new expression.
ClabCSP Class | CLab.CSP Namespace