18 packages returned for Tags:"Constraint"

Extra type constraints for Enum and Delegate.

Utility classes and extensions to facilitate common testing operations when using NUnit.

Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed

This is a general scheduling framework able to create schedules using arbitrary constraints written in C#.

Source code package. A route constraint for constraining route parameters to enum values.

Z3 is a satisfiability modulo theories solver from Microsoft Research.

A .NET constraint satisfaction problem solver.

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

This is a F# Z3 API wrapper

Z3 is a satisfiability modulo theories solver from Microsoft Research.

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

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

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

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.

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