Contents

1 Introduction
 1.1 Getting started
2 Using JaCoP library
 2.1 Finite Domain Variables
 2.2 Finite domains
 2.3 Constraints
 2.4 Search for solutions
3 Constraints
 3.1 Primitive constraints
 3.2 Logical and conditional constraints
 3.3 Global Constraints
  3.3.1 Alldifferent constraints
  3.3.2 Circuit constraint
  3.3.3 Subcircuit constraint
  3.3.4 Element constraint
  3.3.5 Distance constraint
  3.3.6 Cumulative constraint
  3.3.7 Diff2 constraint
  3.3.8 Min, Max and ArgMin, ArgMax constraints
  3.3.9 Sum, SumWeight, SumWeightDom and Linear constraints
  3.3.10 ExtensionalSupport and ExtensionalConflict constraints
  3.3.11 Assignment constraint
  3.3.12 Count constraint
  3.3.13 Values constraint
  3.3.14 Global cardinality constraint (GCC)
  3.3.15 Among and AmongVar
  3.3.16 Regular constraint
  3.3.17 Knapsack constraint
  3.3.18 Geost constraint
  3.3.19 NetworkFlow constraint
  3.3.20 Binpacking
 3.4 Decomposed constraints
  3.4.1 Sequence constraint
  3.4.2 Stretch constraint
  3.4.3 Lex constraint
  3.4.4 Soft-Alldifferent
  3.4.5 Soft-GCC
4 Set Constraints
 4.1 Set Variables and Set Domains
 4.2 Set Constraints
 4.3 Search
5 Floating Point Constraints
 5.1 Floating Point Variables and Floating Point Domains
 5.2 Floating Point Constraints
 5.3 Search
 5.4 Example
 5.5 Experimental Extensions
  5.5.1 Derivatives
  5.5.2 Multivariate Interval Newton Method
6 Search
 6.1 Depth First Search
  6.1.1 Restart search
 6.2 Search plug-ins
 6.3 Credit search
 6.4 Limited discrepancy search
 6.5 Combining search
7 SAT solver
 7.1 Boolean expressions translations
 7.2 FDV encoding and constraint translations
A JaCoP constraints
 A.1 Primitive constraints
 A.2 Set constraints
 A.3 Floating point constraints
 A.4 Logical, conditional and reified constraints
 A.5 Global constraints
B JaCoP search methods
 B.1 Variable and value selection for IntVar
 B.2 Variable and value selection for SetVar
 B.3 Variable selection for FloatVar
 B.4 Search methods
 B.5 Important methods for search plug-ins
C JaCoP debugging facilities
 C.1 Available switches
 C.2 CPviz interface