Class | Description |
---|---|
GlobalCardinality |
Global Cardinality constraint
|
PropFastGCC |
Propagator for Global Cardinality Constraint (GCC) for integer variables
Basic filter: no particular consistency but fast and with a correct checker
|
Copyright © 2017. All rights reserved.