6 packages returned for Tags:"satisfaction"

Hide prerelease

cspnet by: erik2222

666 total downloads
last updated 4/21/2015
Latest version: 0.9.1
csp constraint satisfaction

A .NET constraint satisfaction problem solver.

Kingdom.OrTools.Sat.Parameters by: mwpowellhtx

64 total downloads
last updated 10/13/2019
Latest version: 1.2.0.16195
Google Operations Research Tools SAT CP CSP constraint satisfaction problem solver parameter parameters Variant IVariant

Provides the basis for a first class experience specifying SAT-CP solver parameters.

Kingdom.OrTools.Sat.Parameters.Core by: mwpowellhtx

64 total downloads
last updated 10/13/2019
Latest version: 1.1.1.16195
Google Operations Research Tools SAT CP CSP constraint satisfaction problem solver parameter parameters Variant IVariant

Provides the basis for a first class experience specifying SAT-CP solver parameters.

Kingdom.OrTools.ConstraintSolver.Core by: mwpowellhtx

2,928 total downloads
last updated 10/13/2019
Latest version: 5.2.2.16195
Google Operations Research Tools wrapper dispose disposable CLR object host constraint satisfaction problem solver CP CSP variable variables int integer bool boolean solution

Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.

Kingdom.OrTools.LinearSolver.Core by: mwpowellhtx

323 total downloads
last updated 10/13/2019
Latest version: 1.3.2.16195
Google Operations Research Tools wrapper dispose disposable CLR object host linear satisfaction problem solver LP LSP variable variables int integer bool boolean solution

Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.

Kingdom.OrTools.Sat.Core by: mwpowellhtx

175 total downloads
last updated 10/13/2019
Latest version: 1.1.2.16195
Google Operations Research Tools wrapper dispose disposable CLR object host constraint satisfaction problem solver CP CSP variable variables int integer bool boolean solution

Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.