Kingdom.OrTools.Sat.Parameters.Core
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.1.1.16195
patch
| ||
1.1.1.16194
patch
| ||
1.1.0.28141
initial
|