| Package | Description |
|---|---|
| minicp.cp |
Factory methods for modeling and create search heuristics
|
| minicp.engine.constraints |
Constraints
|
| minicp.engine.core |
Solver objects
|
| minicp.examples |
Model examples
|
| Class and Description |
|---|
| BoolVar
Boolean variable, that can be used as a 0-1 IntVar.
|
| Constraint
Interface implemented by every Constraint
|
| IntVar |
| Solver |
| Class and Description |
|---|
| AbstractConstraint
Abstract class the most of the constraints
should extend.
|
| BoolVar
Boolean variable, that can be used as a 0-1 IntVar.
|
| Constraint
Interface implemented by every Constraint
|
| IntVar |
| Class and Description |
|---|
| AbstractConstraint
Abstract class the most of the constraints
should extend.
|
| BoolVar
Boolean variable, that can be used as a 0-1 IntVar.
|
| Constraint
Interface implemented by every Constraint
|
| DomainListener
Domain listeners are passed as argument
to the
IntDomain modifier methods. |
| IntDomain
Interface for integer domain implementation.
|
| IntVar |
| IntVarImpl
Implementation of a variable
with a
SparseSetDomain. |
| Solver |
| Class and Description |
|---|
| IntVar |
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.