nuget.org "constraint" keyword
View the packages on the nuget.org package registry that are tagged with the "constraint" keyword.
microsoft.z3 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...14 versions - Latest release: about 2 years ago - 5 dependent packages - 246 thousand downloads total - 11,223 stars on GitHub - 2 maintainers
microsoft.z3.x86 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...11 versions - Latest release: about 2 years ago - 71.2 thousand downloads total - 11,223 stars on GitHub - 2 maintainers
z3-20190104 4.8.4
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 6 years ago - 1.67 thousand downloads total - 11,223 stars on GitHub - 1 maintainer
Top 2.5% on nuget.org
8 versions - Latest release: over 125 years ago - 4 dependent packages - 23 dependent repositories - 11,223 stars on GitHub
microsoft.z3.x64 4.8.10
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...8 versions - Latest release: over 125 years ago - 4 dependent packages - 23 dependent repositories - 11,223 stars on GitHub
zenlib 3.1.6
A library that simplifies building verification tools in .NET63 versions - Latest release: almost 2 years ago - 33 thousand downloads total - 105 stars on GitHub - 1 maintainer
zenlib.generators 0.1.3
Automatic generation of Zen field access methods.4 versions - Latest release: over 3 years ago - 2.55 thousand downloads total - 76 stars on GitHub - 1 maintainer
anyconstraint.analyzer 1.1.0
Analyzer that suppresses the CS0702 error, thus allowing any constraint to be used (including 'De...3 versions - Latest release: over 7 years ago - 1 dependent package - 1 dependent repositories - 4.69 thousand downloads total - 4 stars on GitHub - 1 maintainer
ipopt.runtime.win-x64 3.14.3 💰
COIN-OR Interior Point Optimizer IPOPT1 version - Latest release: over 3 years ago - 1.06 thousand downloads total - 1,594 stars on GitHub - 1 maintainer
xyclonedesigns.extensions.androidx.constraintlayout 1.0.1
Generic classes & extensions for AndroidX.ConstraintLayout2 versions - Latest release: 4 months ago - 341 downloads total - 0 stars on GitHub - 1 maintainer
tolitech.infrastructure.persistence.constraintvalidator.sqlserver 1.0.0-preview.4
A static library for managing and validating database constraint exceptions specifically for SQL ...4 versions - Latest release: 12 days ago
tolitech.infrastructure.persistence.constraintvalidator.postgresql 1.0.0-preview.4
A static library for managing and validating database constraint exceptions specifically for Post...4 versions - Latest release: 12 days ago
fr.univartois.cril.csuniverse 0.1.1
`CSUuniverse` is a `C#` version of [UNIVERSE](https://github.com/crillab/universe) library and pr...2 versions - Latest release: over 2 years ago - 622 downloads total - 0 stars on GitHub - 1 maintainer
tolitech.infrastructure.persistence.constraintvalidator 1.0.0-preview.5
A static library providing tools for managing and validating database constraint exceptions. It a...5 versions - Latest release: 12 days ago
vuisis.microsoft.z3 4.8.11
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 125 years ago
schedule4net 2.1.0
This is a general scheduling framework able to create schedules using arbitrary constraints writt...6 versions - Latest release: over 12 years ago - 9.35 thousand downloads total - 1 maintainer
solverslibrary 1.1.0
Some solvers for combinatorial problems and probabilistic inversion4 versions - Latest release: over 1 year ago - 747 downloads total - 1 maintainer
vsteam.z3.m1 4.8.11-alpha.2
Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binarie...3 versions - Latest release: over 2 years ago
vsteam.z3 4.11.2-alpha
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips1 version - Latest release: almost 2 years ago
kingdom.ortools.sat.core 1.1.2.16195
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...4 versions - Latest release: almost 6 years ago - 3.4 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
13 versions - Latest release: over 125 years ago - 2 dependent packages
arkane.aspects 0.11.0
PostSharp aspects for Arkane Systems class libraries (general utility). Please see project web s...13 versions - Latest release: over 125 years ago - 2 dependent packages
code.aspnetcore.routing.enumconstraint 2.0.0
Source code package. A route constraint for constraining route parameters to enum values.4 versions - Latest release: about 7 years ago - 5.84 thousand downloads total - 11 stars on GitHub - 1 maintainer
kolyteon 0.1.0
Model a logic problem as a binary constraint satisfaction problem (binary CSP). Choose a backtrac...1 version - Latest release: 11 months ago - 140 downloads total - 0 stars on GitHub - 1 maintainer
kingdom.ortools.sat.parameters 1.2.0.16195
Provides the basis for a first class experience specifying SAT-CP solver parameters.3 versions - Latest release: almost 6 years ago - 1.94 thousand downloads total - 8 stars on GitHub - 1 maintainer
fsz3 1.0.0 💰
This is a F# Z3 API wrapper1 version - Latest release: over 8 years ago - 1.44 thousand downloads total - 2 stars on GitHub - 1 maintainer
testing.commons.nunit 6.1.0
Utility classes and extensions to facilitate testing with NUnit.31 versions - Latest release: 5 months ago - 64.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
brutalhack.bouncer 1.0.2
Lightweight Runtime-Only Contracts for .Net Standard 2.0. Focus lies on Readability and Extensibi...6 versions - Latest release: over 4 years ago - 19.6 thousand downloads total - 4 stars on GitHub - 2 maintainers
unconstrain 0.1.3
Enum and Delegate generic constrainsts for C#4 versions - Latest release: over 125 years ago - 1 dependent repositories
symbolica.z3 0.1.0
Z3 built from an arbitrary commit and packaged for dotnet.18 versions - Latest release: about 4 years ago - 1 dependent package - 19.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
kingdom.ortools.sat.parameters.core 1.1.1.16195
Provides the basis for a first class experience specifying SAT-CP solver parameters.3 versions - Latest release: almost 6 years ago - 2 dependent packages - 3.63 thousand downloads total - 8 stars on GitHub - 1 maintainer
cspnet 0.9.1
A .NET constraint satisfaction problem solver.1 version - Latest release: over 10 years ago - 1.84 thousand downloads total - 5 stars on GitHub - 1 maintainer
Top 5.5% on nuget.org
1 version - Latest release: over 125 years ago - 8 dependent packages - 8 dependent repositories - 4 stars on GitHub
contracts 0.1.0
Lightweight Runtime-Only Contracts for .Net Applications. Focus lies on Readability and Extensibi...1 version - Latest release: over 125 years ago - 8 dependent packages - 8 dependent repositories - 4 stars on GitHub
ellumination.ortools.sat.parameters 1.2.0.16202
Provides the basis for a first class experience specifying SAT-CP solver parameters.1 version - Latest release: over 4 years ago - 473 downloads total - 5 stars on GitHub - 1 maintainer
ellumination.ortools.constraintsolver.routing.distances 1.0.0.310
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 4 years ago - 1 dependent package - 590 downloads total - 5 stars on GitHub - 1 maintainer
ellumination.ortools.constraintsolver.routing 1.0.0.425
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 4 years ago - 511 downloads total - 5 stars on GitHub - 1 maintainer
ellumination.ortools.sat.core 1.1.2.16208
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 4 years ago - 468 downloads total - 5 stars on GitHub - 1 maintainer
ellumination.ortools.sat.parameters.core 1.1.1.16220
Provides the basis for a first class experience specifying SAT-CP solver parameters.1 version - Latest release: over 4 years ago - 2 dependent packages - 711 downloads total - 5 stars on GitHub - 1 maintainer
brutalhack.contracts 0.2.0
Lightweight Runtime-Only Contracts for .Net Applications. Focus lies on Readability and Extensibi...1 version - Latest release: over 125 years ago - 5 stars on GitHub
Top 9.7% on nuget.org
14 versions - Latest release: almost 8 years ago - 1 dependent package - 1 dependent repositories - 16.2 thousand downloads total - 8 stars on GitHub - 1 maintainer
kingdom.ortools.constraintsolver.core 5.0.4
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...14 versions - Latest release: almost 8 years ago - 1 dependent package - 1 dependent repositories - 16.2 thousand downloads total - 8 stars on GitHub - 1 maintainer
ellumination.ortools.constraintsolver.core 5.2.2.16214
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 4 years ago - 1 dependent package - 940 downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
solver
22
satisfaction
12
problem
11
smt
10
CSP
10
CP
10
Tools
10
Research
10
Operations
10
Google
10
dotnet
9
disposable
8
prover
8
theorem
8
parameter
7
csharp
7
wrapper
6
dispose
6
CLR
6
object
6
host
6
variable
6
variables
6
int
6
integer
6
bool
6
boolean
6
solution
6
google
6
ortools
6
wrappers
6
SAT
5
IVariant
4
Variant
4
parameters
4
solving
3
contract
3
validate
3
check
3
runtime
3
argument
3
utility
2
zen
2
enum
2
constraints
2
diagrams
2
zenlib
2
modeling
2
C#
2
verification
2
m1
2
macos
2
binary
2
decision
2
algorithm
2
csp
2
delegate
2
diagram
2
constraint-satisfaction-problem
1
sudoku
1
shikaku
1
n-queens
1
map-colouring
1
logic
1
z3
1
fsharp
1
.net
1
testing
1
unit-testing
1
NUnit
1
helpers
1
integration-testing
1
nunit
1
servicestack
1
utility-library
1
generics
1
Symbolica
1
Z3
1
analyzer
1
xyclone
1
designs
1
sqlserver
1
fitting
1
proportional
1
iterative
1
inversion
1
probabilistic
1
hungarian
1
task
1
framework
1
scheduler
1
schedule
1
interface
1
programming
1
postgresql
1
postgres
1
graph-colouring
1
futoshiki
1
backtracking
1
route
1