Module org.maxicp
module org.maxicp
MaxiCP is under MIT License.
It is a Constraint Programming Solver for Scheduling and Vehicle Routing.
It is an extension of MiniCP.
Its main authors are Pierre Schaus, Guillaume Derval, Augustin Delecluse, Laurent Michel, Pascal Van Hentenryck.
although many more people have contributed,
for instance by reporting bugs, suggesting ideas or,
developing a constraint.
-
Packages
ExportsPackageDescriptionRoot package of MaxiCPConstraint Programming Solver ImplementationConstraints implementation (propagators)Constraints implementation for Scheduling over Interval Variables and Cumulative FunctionsConstraints implementation for Sequence VariablesConstraints implementation for Set VariablesSolver objectsProblem Instance ReadingCP Instantiation of the Symbolic Modeling APISymbolic Modeling APIAbstract Syntax Tree for modeling expressionsSymbolic modeling over boolean variablesSymbolic modeling over integer variablesSymbolic modeling for scheduling problemsSymbolic modeling for sequence variablesConcrete modeling APISymbolic constraintsSymbolic constraints for schedulingSymbolic constraints for sequence variablesSymbolic modeling of integer variables and objective functionsImplementation of XCSP3 API using MaxiCPSearch APIState Management (trailer, copier, etc.)Copier strategy for state restorationBacktrackable data structures (e.g., sparse-sets, maps, stack, intervals, bitsets)Trail strategy for state restorationProvides utility tools and objects (file reading, exceptions, some data-structures, etc.)Some useful algorithmsExceptions used inorg.maxicpInput file reader utility