Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
.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
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
Previous
Next