13 packages returned for Tags:"satisfaction"
- 5,672 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.
- 628 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.
- 489 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.
- 993 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.
- 707 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.
- 31 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.
- 30 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.
- 31 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.
- 31 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.
- 31 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.
- 31 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.
- 32 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.