NuGet Gallery | Packages matching Tags:"Constraint"

ExtraConstraints.Fody by: Fody simoncropp

105,110 total downloads
last updated 8/21/2019
Latest version: 1.14.0

Type Constraint Enum Delegate ILWeaving Fody Cecil

Extra type constraints for Enum and Delegate.

Microsoft.Z3 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft Z3Prover

81,124 total downloads
last updated 1/14/2023
Latest version: 4.12.0

smt constraint solver theorem prover

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

Microsoft.Z3.x86 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft Z3Prover

54,282 total downloads
last updated 1/14/2023
Latest version: 4.12.0

smt constraint solver theorem prover

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

Testing.Commons.NUnit by: dgon

44,727 total downloads
last updated 3/14/2018
Latest version: 4.2.0

.net C# testing unit-testing NUnit constraint

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

BrutalHack.Bouncer by: P.y.r.0 Zanval

10,889 total downloads
last updated 1/13/2021
Latest version: 1.0.2

contract validate check runtime argument parameter constraint

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

Code.AspNetCore.Routing.EnumConstraint by: shaynevanasperen

4,333 total downloads
last updated 7/26/2018
Latest version: 2.0.0

aspnet route constraint

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

Schedule4Net by: galetzka

7,055 total downloads
last updated 3/5/2013
Latest version: 2.1.0

schedule scheduler constraint framework task algorithm

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

AnyConstraint.Analyzer by: Jee

2,992 total downloads
last updated 11/9/2017
Latest version: 1.1.0

analyzer constraint delegate enum

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

Symbolica.Z3 by: Symbolica

9,882 total downloads
last updated 3/18/2022
Latest version: 0.2.0-pullrequest0008-0006-fca3a94

Symbolica dotnet Z3 smt constraint solver theorem prover

Z3 built from an arbitrary commit and packaged for dotnet.

ZenLib by: msrspock

19,161 total downloads
last updated 2/28/2023
Latest version: 3.1.2

zen zenlib modeling constraint solving verification smt solver binary decision More tags

A library that simplifies building verification tools in .NET

Octopush by: Infodinamica

2,415 total downloads
last updated 5/23/2017
Latest version: 1.0.2

ConcurrentBag Identity Constraint

Lista versátil que permite simular identities y constraint

dotNetRdf.Shacl by: dotnetrdf

2,365 total downloads
last updated 3/19/2023
Latest version: 3.0.0

RDF Validation Shapes Constraint SHACL

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

cspnet by: erik2222

1,442 total downloads
last updated 4/21/2015
Latest version: 0.9.1

csp constraint satisfaction

A .NET constraint satisfaction problem solver.

Ulbo.ConstraintKit by: Ulbo

806 total downloads
last updated 12/18/2019
Latest version: 1.0.0

Constraint Constraints ConstraintKit

A small kit for common constraint operations in Xamarin.iOS

Z3-20190104 by: hillerstorm

1,118 total downloads
last updated 1/4/2019
Latest version: 4.8.4

smt constraint solver theorem prover

Z3 is a satisfiability modulo theories solver from Microsoft Research.

FsZ3 by: henrik feldt

1,044 total downloads
last updated 1/19/2017
Latest version: 1.0.0

z3 fsharp constraint solver SAT

This is a F# Z3 API wrapper

Fr.UnivArtois.CRIL.CSUniverse by: crillab

178 total downloads
last updated 2/28/2023
Latest version: 0.1.1

constraint programming interface solver

`CSUuniverse` is a `C#` version of [UNIVERSE](https://github.com/crillab/universe) library and proposes generic interfaces for combinatorial problems solvers.

Ipopt.Runtime.Win-x64 by: oberbichler

364 total downloads
last updated 3/16/2022
Latest version: 3.14.3

optimization nonlinear interior-point constraint math

COIN-OR Interior Point Optimizer IPOPT

Kingdom.OrTools.ConstraintSolver.Core by: mwpowellhtx

12,244 total downloads
last updated 10/13/2019
Latest version: 5.2.2.16195

Google Operations Research Tools wrapper dispose disposable CLR object host More tags

Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.

vsteam.Z3.M1 by: mxprshn

299 total downloads
last updated 11/8/2022
Latest version: 4.8.11-alpha.2

smt constraint solver theorem prover macos m1

Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binaries are included

32 packages returned for Tags:"Constraint"