Top 20 NuGet constraint Packages

Utility classes and extensions to facilitate common testing operations when using NUnit.
A library that simplifies building verification tools in .NET
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Extra type constraints for Enum and Delegate.
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.
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
Lightweight Runtime-Only Contracts for .Net Standard 2.0. Focus lies on Readability and Extensibility. Under MIT License.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Lista versátil que permite simular identities y constraint
Source code package. A route constraint for constraining route parameters to enum values.
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
This is a general scheduling framework able to create schedules using arbitrary constraints written in C#.
A .NET constraint satisfaction problem solver.
This is a F# Z3 API wrapper