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 © 2018. All rights reserved.