Pass boolean to CSP.solve().