| Name: | HEUR_CS |
| Type: | bool |
| Default Value: | true |
| Available Options: | true, false |
Enables or disables the Constraint Satisfaction (CS) heuristic. This can be quite expensive, so try turning this off it the solver is spending too much time trying to find a feasible solution.