Packages

choco	The root package for the Constraint Programming Kernel
choco.bool	A package devoted to propagation over Boolean combinations of constraints
choco.branch	A package devoted to control (branching schemes and heuristics) for branching in a search tree
choco.global
choco.global.matching
choco.integer	A package devoted to propagation over integer domain variables.
choco.integer.constraints	A package devoted to constraints over integers.
choco.integer.constraints.extension
choco.integer.search	A package devoted to choice points and search heuristics specific to integer variables
choco.integer.var	A package devoted to the management of variables and domains for integers
choco.mem	A package devoted to backtrackable data structures.
choco.palm	A package devoted to e-tools - an explanation-based solver and all the needed tools.
choco.palm.benders
choco.palm.benders.explain
choco.palm.benders.search
choco.palm.cbj
choco.palm.cbj.explain
choco.palm.cbj.integer
choco.palm.cbj.search
choco.palm.dbt
choco.palm.dbt.explain	This package contains generic interfaces and classes for storing and managing explanations.
choco.palm.dbt.integer
choco.palm.dbt.integer.explain	A package devoted to integer explanations, that is explanations for the different kinds of variables.
choco.palm.dbt.prop	A package devoted to an extension of Choco propagation tool to support explanation features.
choco.palm.dbt.search	A package devoted to explanation based search.
choco.palm.dbt.search.pathrepair	A package devoted to the decision-repair algorithm.
choco.palm.global.matching
choco.palm.integer	This package contains classes for integer-based objects (integer constraints, variables, explanations).
choco.palm.integer.constraints	Package devoted for integer constraints.
choco.palm.real	This package contains classes for real-based objects (real constraints, variables, explanations).
choco.palm.real.constraints
choco.palm.real.exp
choco.palm.real.explain
choco.palm.real.search
choco.palm.search
choco.prop	A package of classes devoted to the event model of constraint propagation
choco.real	A package devoted to continuous propagation based on interval arithmetic.
choco.real.constraint	A package devoted continuous constraints.
choco.real.exp	A package devoted real expression, that is composition of operators over real variables.
choco.real.search	A package devoted to serach tools based on real constraints and variables.
choco.real.var	A package devoted to contiinuous domains and variables.
choco.search	A package devoted to the the control of search algorithms
choco.set
choco.set.constraint
choco.set.search
choco.set.var
choco.util	A package devoted to non-backtrackable data structures