All Packages
Package Summary
Package
Description
Root package of MaxiCP
Constraint Programming Solver Implementation
Constraints implementation (propagators)
Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
Constraints implementation for Sequence Variables
Constraints implementation for Set Variables
Solver objects
Examples of models using the symbolic modeling API
Examples of models using the implementation object API
Problem Instance Reading
CP Instantiation of the Symbolic Modeling API
Symbolic Modeling API
Abstract Syntax Tree for modeling expressions
Symbolic modeling over boolean variables
Symbolic modeling over integer variables
Symbolic modeling for scheduling problems
Symbolic modeling for sequence variables
Concrete modeling API
Symbolic constraints
Symbolic constraints for scheduling
Symbolic constraints for sequence variables
Symbolic modeling of integer variables and objective functions
Implementation of XCSP3 API using MaxiCP
Search API
State Management (trailer, copier, etc.)
Copier strategy for state restoration
Backtrackable data structures (e.g., sparse-sets, maps, stack, intervals, bitsets)
Trail strategy for state restoration
Provides utility tools and objects (file reading, exceptions, some data-structures, etc.)
Some useful algorithms
Exceptions used in
org.maxicpInput file reader utility