Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
Include compatible frameworks
Framework Filter Mode
ALL
ANY
.NET
net8.0
net7.0
net6.0
net5.0
.NET Core
netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0
.NET Standard
netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0
.NET Framework
net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
34 packages returned for Tags:"Constraint"
Sort by
Relevance
Downloads
Recently updated
Microsoft.
Z3
by:
Microsoft
Z3Prover
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
163,841 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
dotNetRdf.
Shacl
by:
dotnetrdf
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
107,463 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.
ExtraConstraints.
Fody
by:
Fody
simoncropp
.NET 5.0
.NET Core 1.0
.NET Standard 1.4
.NET Framework 4.5.2
119,594 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
65,707 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
50,686 total downloads
last updated
3/4/2024
Latest version:
6.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
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
16,261 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,958 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
.NET Framework
7,798 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,685 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
.NET 5.0
.NET Core 1.0
.NET Standard 1.4
.NET Framework 4.6.1
14,041 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
26,319 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
.NET Framework 4.5.2
2,749 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,597 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
927 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
.NET Framework 4.0
1,208 total downloads
last updated
1/19/2017
Latest version:
1.0.0
z3
fsharp
constraint
solver
SAT
This is a F# Z3 API wrapper
Z3-
20190104
by:
hillerstorm
.NET 5.0
.NET Core 1.0
.NET Standard 1.4
.NET Framework 4.6.1
1,368 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.
Fr.
UnivArtois.
CRIL.
CSUniverse
by:
crillab
.NET 5.0
.NET Core 3.1
449 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
677 total downloads
last updated
3/16/2022
Latest version:
3.14.3
optimization
nonlinear
interior-point
constraint
math
COIN-OR Interior Point Optimizer IPOPT
vsteam.
Z3.
M1
by:
mxprshn
.NET 6.0
799 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
Kingdom.
OrTools.
ConstraintSolver.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
13,725 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.
Previous
Next