Adds a constraint
Adds a constraint
Adds a Boolean variable
Adds a Boolean 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
Checks whether the CSP is satisfied by the solution
Checks whether the CSP is satisfied by the solution
Adds constraints
Adds Boolean 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
Trait of CSP (Constraint Satisfaction Problem)