CSP to be used
CSP to be used
Solver to be used
Solver to be used
Changes the solver to be used
Changes the solver to be used
Adds a constraint
Adds a constraint
Adds constraints
Adds constraints
Adds a Boolean variable
Adds a Boolean variable
Adds Boolean variables
Adds Boolean variables
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 CSP and solver
Initializes the CSP and solver
Adds an integer variable
Adds an integer variable
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Specifies objective variable to be maximized
Specifies objective variable to be maximized
Specifies objective variable to be minimized
Specifies objective variable to be minimized
Sets the options of the solver
Shows the CSP
Shows the current solution
Shows the current solution
Starts the timer (experimental)
Returns the status of the solver (experimental)
Stops the timer (experimental)
Implicit conversion from scala Symbol to Var.
Implicit conversion from scala Symbol to Var.
Returns the Boolean variable value of the current solution
Returns the Boolean variable value of the current solution
Returns the integer 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 Boolean variable values of the current solution
Returns the integer variable values of the current solution
Returns the integer variable values of the current solution
Trait for Copris DSL which provides methods for CSP and CSP solver. This trait also provides implicit conversion of converting scala Symbols to CSP integer variables (Var).