13 packages returned for Tags:"satisfaction"
- 10,593 total downloads
- last updated 10/13/2019
- Latest version: 5.2.2.16195
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
- 1,624 total downloads
- last updated 10/13/2019
- Latest version: 1.1.1.16195
Provides the basis for a first class experience specifying SAT-CP solver parameters.
- 1,040 total downloads
- last updated 10/13/2019
- Latest version: 1.2.0.16195
Provides the basis for a first class experience specifying SAT-CP solver parameters.
- 207 total downloads
- last updated 1/9/2021
- Latest version: 1.2.0.16202
Provides the basis for a first class experience specifying SAT-CP solver parameters.
- 282 total downloads
- last updated 1/9/2021
- Latest version: 1.1.1.16220
Provides the basis for a first class experience specifying SAT-CP solver parameters.
- 2,128 total downloads
- last updated 10/13/2019
- Latest version: 1.3.2.16195
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.
- 1,636 total downloads
- last updated 10/13/2019
- Latest version: 1.1.2.16195
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
- 206 total downloads
- last updated 1/9/2021
- Latest version: 1.1.2.16208
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
- 249 total downloads
- last updated 1/9/2021
- Latest version: 1.0.0.310
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
- 213 total downloads
- last updated 1/9/2021
- Latest version: 1.0.0.425
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
- 206 total downloads
- last updated 1/9/2021
- Latest version: 1.3.2.16210
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.
- 215 total downloads
- last updated 1/9/2021
- Latest version: 5.2.2.16214
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.