Finds the first solution
Finds the first solution
Finds the next solution
Finds the next solution
Finds the optimum solution
Finds the optimum solution
Initializes the solver
Initializes the solver
Returns the current solution
Returns the current solution
Returns the Boolean variable value of the current solution
Returns the integer variable value of the current solution
Returns the Boolean variable values of the current solution
Returns the integer variable values of the current solution
Trait for CSP solvers