nuget.org "constraint" keyword
View the packages on the nuget.org package registry that are tagged with the "constraint" keyword.
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 - 761 downloads total - 5 stars on GitHub - 1 maintainer
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 - 516 downloads total - 5 stars on GitHub - 1 maintainer
z3-20190104 4.8.4
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 6 years ago - 1.71 thousand downloads total - 11,309 stars on GitHub - 1 maintainer
microsoft.z3 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...14 versions - Latest release: over 2 years ago - 5 dependent packages - 250 thousand downloads total - 11,309 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: over 2 years ago - 71.5 thousand downloads total - 11,309 stars on GitHub - 2 maintainers
Top 2.5% on nuget.org
8 versions - Latest release: over 125 years ago - 4 dependent packages - 23 dependent repositories - 11,309 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,309 stars on GitHub
Top 9.7% on nuget.org
14 versions - Latest release: about 8 years ago - 1 dependent package - 1 dependent repositories - 17 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: about 8 years ago - 1 dependent package - 1 dependent repositories - 17 thousand downloads total - 8 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: almost 8 years ago - 1 dependent package - 1 dependent repositories - 4.78 thousand downloads total - 4 stars on GitHub - 1 maintainer
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.56 thousand downloads total - 1 maintainer
xyclonedesigns.extensions.androidx.constraintlayout 1.0.1
Generic classes & extensions for AndroidX.ConstraintLayout2 versions - Latest release: 5 months ago - 345 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: about 2 months 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: about 2 months 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
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: about 2 months ago
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.95 thousand downloads total - 11 stars on GitHub - 1 maintainer
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 - 641 downloads total - 0 stars on GitHub - 1 maintainer
solverslibrary 1.1.0
Some solvers for combinatorial problems and probabilistic inversion4 versions - Latest release: over 1 year ago - 757 downloads total - 1 maintainer
vuisis.microsoft.z3 4.8.11
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 125 years ago
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: almost 3 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.45 thousand downloads total - 8 stars on GitHub - 1 maintainer
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.7 thousand downloads total - 0 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
ipopt.runtime.win-x64 3.14.3 💰
COIN-OR Interior Point Optimizer IPOPT1 version - Latest release: over 3 years ago - 1.08 thousand downloads total - 1,615 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: about 1 year ago - 142 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.99 thousand downloads total - 8 stars on GitHub - 1 maintainer
zenlib 3.1.6
A library that simplifies building verification tools in .NET63 versions - Latest release: almost 2 years ago - 33.7 thousand downloads total - 106 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.6 thousand downloads total - 76 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 - 620 downloads total - 5 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.69 thousand downloads total - 8 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 - 500 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
fsz3 1.0.0 💰
This is a F# Z3 API wrapper1 version - Latest release: over 8 years ago - 1.47 thousand downloads total - 2 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.9 thousand downloads total - 4 stars on GitHub - 2 maintainers
testing.commons.nunit 6.1.0
Utility classes and extensions to facilitate testing with NUnit.31 versions - Latest release: 6 months ago - 65.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
cspnet 0.9.1
A .NET constraint satisfaction problem solver.1 version - Latest release: over 10 years ago - 1.88 thousand 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 - 4 stars on GitHub
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 - 528 downloads total - 5 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
Google
10
Operations
10
Research
10
Tools
10
smt
10
CP
10
CSP
10
dotnet
9
theorem
8
disposable
8
prover
8
csharp
7
parameter
7
host
6
object
6
CLR
6
variable
6
variables
6
int
6
integer
6
bool
6
boolean
6
solution
6
dispose
6
wrapper
6
wrappers
6
ortools
6
google
6
SAT
5
IVariant
4
Variant
4
parameters
4
solving
3
contract
3
validate
3
check
3
runtime
3
argument
3
zen
2
zenlib
2
modeling
2
verification
2
binary
2
decision
2
diagrams
2
diagram
2
delegate
2
m1
2
macos
2
enum
2
constraints
2
C#
2
utility
2
algorithm
2
csp
2
math
1
backtracking
1
n-queens
1
map-colouring
1
logic
1
graph-colouring
1
futoshiki
1
shikaku
1
interior-point
1
sudoku
1
constraint-satisfaction-problem
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
programming
1
route
1
aspnet
1
postgresql
1
postgres
1
sqlserver
1
designs
1
xyclone
1
extension
1
layout
1
androidx
1
android
1
task
1
framework
1
scheduler
1
schedule
1
roslyn
1
analyzer
1
nonlinear
1
optimization
1