23 packages returned for Tags:"constraint"

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#.

Analyzer that suppresses the CS0702 error, thus allowing any constraint to be used (including 'Delegate' and 'Enum').

Lightweight Runtime-Only Contracts for .Net Standard 2.0. Focus lies on Readability and Extensibility. Under MIT License.

A .NET constraint satisfaction problem solver.

Lista versátil que permite simular identities y constraint

This is a F# Z3 API wrapper

A small kit for common constraint operations in Xamarin.iOS

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.

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

A library that simplifies building verification tools in .NET

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

Fast & Easy to use library to generate data sets according to given constraints (mathematican programming models).

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

Fast & Easy to use library to generate data sets according to given constraints (mathematican programming models).