40 packages returned for Tags:"constraint"

Sort by

dotNetRdf.Shacl
by: dotnetrdf
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 301,971 total downloads
- last updated 1/26/2025
- Latest version: 3.3.2
- RDF Validation Shapes Constraint SHACL
Provides support for validating RDF graphs with the W3C Shape Constraint Language.
Microsoft.Z3
by: Microsoft Z3Prover
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 236,118 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
- .NET 5.0 .NET Core 1.0 .NET Standard 1.4 .NET Framework 4.5.2
- 129,644 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
by: Microsoft Z3Prover
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 70,483 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
- .NET 6.0
- 62,587 total downloads
- last updated 2/25/2025
- Latest version: 6.1.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
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 18,805 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
- 5,543 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.
Symbolica.Z3
by: Symbolica
- .NET 5.0 .NET Core 1.0 .NET Standard 1.4 .NET Framework 4.6.1
- 17,666 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
- .NET 5.0 .NET Core 3.0 .NET Standard 2.1
- 31,208 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
Schedule4Net
by: galetzka
- .NET Framework
- 8,799 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
- 4,456 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').
Octopush
by: Infodinamica
- .NET Framework 4.5.2
- 3,197 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
- .NET Framework 4.5
- 1,776 total downloads
- last updated 4/21/2015
- Latest version: 0.9.1
- csp constraint satisfaction
A .NET constraint satisfaction problem solver.
VSTeam.Z3
by: VSharpTeam
- .NET 6.0
- 2,665 total downloads
- last updated 10/25/2023
- Latest version: 4.11.2-alpha
- smt constraint solver theorem prover macos m1
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips
Z3-20190104
by: hillerstorm
- .NET 5.0 .NET Core 1.0 .NET Standard 1.4 .NET Framework 4.6.1
- 1,596 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
- .NET Framework 4.0
- 1,371 total downloads
- last updated 1/19/2017
- Latest version: 1.0.0
- z3 fsharp constraint solver SAT
This is a F# Z3 API wrapper
Ulbo.ConstraintKit
by: Ulbo
- 1,041 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
Fr.UnivArtois.CRIL.CSUniverse
by: crillab
- .NET 5.0 .NET Core 3.1
- 571 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
- .NET Framework 4.8
- 1,014 total downloads
- last updated 3/16/2022
- Latest version: 3.14.3
- optimization nonlinear interior-point constraint math
COIN-OR Interior Point Optimizer IPOPT
Tolitech.Infrastructure.Persistence.ConstraintValidator
by: Tolitech
- .NET 9.0
- 83 total downloads
- last updated 12/12/2024
- Latest version: 1.0.0-preview.1
- constraint
A static library providing tools for managing and validating database constraint exceptions. It allows for the registration of custom constraint validators and handles exceptions efficiently.

; ;