Case class for absolute value of term.
Abstract class for CSP solvers
Case class for addition of terms.
Case class for Alldifferent global constraints.
Case class for conjuction of constaints.
Case class of Boolean variables.
Case class of CSP (Constraint Satisfaction Problem)
Trait of CSP (Constraint Satisfaction Problem)
Abstract class of constraints.
Class for Copris DSL which provides methods for CSP and CSP solver.
Trait for Copris DSL which provides methods for CSP and CSP solver.
Case class for Count global constraints.
Case class for Cumulative global constraints.
Case class for Disjunctive global constraints.
Case class for division of terms.
Abstract class of domains.
Case class for Element global constraints.
Case class for equals constraints.
Abstract class of expressions.
Case class for greater-than-or-equals constraints.
Case class for GlobalCardinality global constraints.
Case class for GlobalCardinalityWithCosts global constraints.
Abstract class of global constraints.
Case class for greater-than constraints.
Case class for if expressions.
Case class for if-and-only-if of constaint.
Case class for implication of constaint.
Case class of interval domain
Case class for less-than-or-equals constraints.
Case class for LexLess global constraints.
Case class for LexLesseq global constraints.
Case class for less-than constraints.
Case class for matrices of terms.
Case class for maximum of terms.
Case class for minimum of terms.
Case class for remainder of terms.
Case class for multiplication of terms.
Case class for not-equals constraints.
Case class for negation of term.
Case class for logical negation of constaint.
Case class of number terms.
Case class for Nvalue global constraints.
Case class for disjuction of constaints.
Case class of set domain
Case class for solutions
Trait for CSP solvers
Case class for subtraction of terms.
Abstract class of terms.
Class Timer (experimental)
Case class of integer variables.
Case class for vectors of terms.
Case class for Weightedsum global constraints.
Case class for exclusive-or of constaint.
Factory for addition of terms.
Factory for Alldifferent global constraints.
Factory for conjunction of terms.
Factory for default solver.
Factory for Disjunctive global constraints.
Factory for creating domains.
Object of FALSE
constraint.
Factory for vectors
Factory for maximum of terms.
Factory for minimum of terms.
Object of NIL
term.
Object of number term 1.
Factory for disjunction of terms.
Factory for subtraction of terms.
Object of TRUE
constraint.
Object Timer (experimental)
Factory for vectors
Object of number term 0.
Object for Copris DSL which provides methods for CSP and CSP solver.
Provides classes for Constraint Programming in Scala.
OVERVIEW
The following is a sample program in Copris DSL (Domain Specific Language).