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
PackageExported To ModulesOpened To ModulesDescriptionAll ModulesAll ModulesRoot package of MaxiCPAll ModulesAll ModulesConstraint Programming Solver ImplementationAll ModulesAll ModulesConstraints implementation (propagators)All ModulesAll ModulesConstraints implementation for Scheduling over Interval Variables and Cumulative FunctionsAll ModulesAll ModulesConstraints implementation for Sequence VariablesAll ModulesAll ModulesConstraints implementation for Set VariablesAll ModulesAll ModulesSolver objectsNoneAll ModulesExamples of models using the symbolic modeling APINoneAll ModulesNoneAll ModulesNoneAll ModulesNoneAll ModulesExamples of models using the implementation object APINoneAll ModulesNoneAll ModulesNoneAll ModulesNoneAll ModulesNoneAll ModulesAll ModulesAll ModulesProblem Instance ReadingAll ModulesAll ModulesCP Instantiation of the Symbolic Modeling APIAll ModulesAll ModulesSymbolic Modeling APIAll ModulesAll ModulesAbstract Syntax Tree for modeling expressionsAll ModulesAll ModulesSymbolic modeling over boolean variablesAll ModulesAll ModulesSymbolic modeling over integer variablesAll ModulesAll ModulesSymbolic modeling for scheduling problemsAll ModulesAll ModulesSymbolic modeling for sequence variablesAll ModulesAll ModulesConcrete modeling APIAll ModulesAll ModulesSymbolic constraintsAll ModulesAll ModulesSymbolic constraints for schedulingAll ModulesAll ModulesSymbolic constraints for sequence variablesAll ModulesAll ModulesSymbolic modeling of integer variables and objective functionsAll ModulesAll ModulesImplementation of XCSP3 API using MaxiCPAll ModulesAll ModulesSearch APIAll ModulesAll ModulesAll ModulesAll ModulesState Management (trailer, copier, etc.)All ModulesAll ModulesCopier strategy for state restorationAll ModulesAll ModulesBacktrackable data structures (e.g., sparse-sets, maps, stack, intervals, bitsets)All ModulesAll ModulesTrail strategy for state restorationAll ModulesAll ModulesProvides utility tools and objects (file reading, exceptions, some data-structures, etc.)All ModulesAll ModulesSome useful algorithmsAll ModulesAll ModulesExceptions used inorg.maxicpAll ModulesAll ModulesInput file reader utility