Runs the CSP search reduced with a user chosen domain value for a variable. Returns the valid domaines for the problem after this reduction.
ClabCSP Class | CLab.CSP Namespace