Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
Modifier and Type | Method and Description |
---|---|
SatConstraint |
Model.getMinisat()
Returns the unique constraint embedding a minisat model.
|
Copyright © 2017. All rights reserved.