Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
Modifier and Type | Method and Description |
---|---|
NogoodConstraint |
Model.getNogoodStore()
Return a constraint embedding a nogood store (based on a sat model).
|
Copyright © 2017. All rights reserved.