NuGet Gallery | Packages matching Tags:"constraint"

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

97,449 total downloads
last updated 5/12/2023
Latest version: 4.12.2
smt constraint solver theorem prover

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

ExtraConstraints.Fody by: Fody simoncropp

109,343 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.x86 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft Z3Prover

60,726 total downloads
last updated 5/12/2023
Latest version: 4.12.2
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

46,652 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.

dotNetRdf.Shacl by: dotnetrdf

10,378 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.

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

11,209 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,432 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,240 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

3,085 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').

ZenLib by: msrspock

21,576 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

Symbolica.Z3 by: Symbolica

10,092 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.

Octopush by: Infodinamica

2,498 total downloads
last updated 5/23/2017
Latest version: 1.0.2
ConcurrentBag Identity Constraint

Lista versátil que permite simular identities y constraint

cspnet by: erik2222

1,471 total downloads
last updated 4/21/2015
Latest version: 0.9.1
csp constraint satisfaction

A .NET constraint satisfaction problem solver.

Z3-20190104 by: hillerstorm

1,152 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.

Ulbo.ConstraintKit by: Ulbo

827 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

FsZ3 by: henrik feldt

1,067 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

296 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

408 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,739 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

484 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"