14 packages tagged with “satisfaction”
A .NET constraint satisfaction problem solver.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Some solvers for combinatorial problems and probabilistic inversion
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.