Adds a constraint
Adds a constraint
Adds constraints
Adds constraints
Adds a Boolean variable
Adds a Boolean variable
Adds Boolean variables
Adds Boolean variables
Returns Copris object
Dynamic variable of Copris
Returns CSP
Returns CSP
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
Sets the options of the solver
Shows the CSP
Shows the CSP
Shows the current solution
Shows the current solution
Returns CSP solver
Returns CSP solver
Starts the timer (experimental)
Starts the timer (experimental)
Returns the status of the solver (experimental)
Returns the status of the solver (experimental)
Stops the timer (experimental)
Stops the timer (experimental)
Implicit conversion from scala Symbol to Var.
Implicit conversion from scala Symbol to Var.
Changes the solver to be used
Changes the solver to be used
Executes the block
under the specified Copris
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
Object for Copris DSL which provides methods for CSP and CSP solver.