|
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 |