Kingdom.OrTools.Sat.Parameters
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Activity
- Latest release
- 6y ago
- Total releases
- 3
- Cadence
- ~4 days
- Last 12 months
- 0
Details
- First release
- Oct 03, 2019
Releases
| Version | Released | |
|---|---|---|
1.2.0.16195
patch
| ||
1.2.0.16194
minor
| ||
1.1.0.28147
initial
|