34 packages returned for Tags:"Constraint"

Sort by

Microsoft.Z3
by: Microsoft Z3Prover
- 136,222 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
- 114,865 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.
dotNetRdf.Shacl
by: dotnetrdf
- 57,378 total downloads
- last updated 10/7/2023
- Latest version: 3.1.1
- RDF Validation Shapes Constraint SHACL
Provides support for validating RDF graphs with the W3C Shape Constraint Language.
Microsoft.Z3.x86
by: Microsoft Z3Prover
- 63,243 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
- 49,128 total downloads
- last updated 9/11/2023
- Latest version: 5.0.0
- .net dotnet C# testing unit-testing NUnit constraint
Utility classes and extensions to facilitate testing with NUnit.
BrutalHack.Bouncer
by: P.y.r.0 Zanval
- 13,556 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,739 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,537 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#.
Symbolica.Z3
by: Symbolica
- 12,732 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.
AnyConstraint.Analyzer
by: Jee
- 3,426 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
- 24,534 total downloads
- last updated 10/23/2023
- Latest version: 3.1.6
- 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,638 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,537 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
- 883 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,248 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,147 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
- 390 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
- 546 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
- 13,443 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
- 751 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