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

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.

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').

Z3 built from an arbitrary commit and packaged for dotnet.

Lista versátil que permite simular identities y constraint

A .NET constraint satisfaction problem solver.

A library that simplifies building verification tools in .NET

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.

COIN-OR Interior Point Optimizer IPOPT

Provides support for validating RDF graphs with the W3C Shape Constraint Language.

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.