25 packages
returned for Tags:"constraint"
Filter
Extra type constraints for Enum and Delegate.
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Linux Dependencies:
libgomp.so.1 installed
Utility classes and extensions to facilitate common testing operations when using NUnit.
Source code package. A route constraint for constraining route parameters to enum values.
This is a general scheduling framework able to create schedules using arbitrary constraints written in C#.
Lightweight Runtime-Only Contracts for .Net Standard 2.0. Focus lies on Readability and Extensibility. Under MIT License.
Analyzer that suppresses the CS0702 error, thus allowing any constraint to be used (including 'Delegate' and 'Enum').
Lista versátil que permite simular identities y constraint
A .NET constraint satisfaction problem solver.
A small kit for common constraint operations in Xamarin.iOS
This is a F# Z3 API wrapper
Z3 is a satisfiability modulo theories solver from Microsoft Research.
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.
The C++ Mathematical Expression Toolkit Library (ExprTk) is a simple to use, easy to integrate and extremely efficient run-time mathematical expression parsing and evaluation engine. The parsing engine supports numerous forms of functional and logic processing semantics and is easily extendible.
The C++ Mathematical Expression Toolkit Library (ExprTk) Extra Examples
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.
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.