19 packages returned for Tags:"constraint"

Extra type constraints for Enum and Delegate.

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

A .NET constraint satisfaction problem solver.

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

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

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

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.

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

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

A ConstraintLayout group that allows for simple staggered animations

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