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
VSTeam.
Z3
by:
VSharpTeam
.NET 6.0
565 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
ExprTk
by:
1111111
65,435 total downloads
last updated
2/21/2023
Latest version:
0.0.0.25
C++
mathematics
parser
expression
library
native
exprtk
c++
compiler
component
More tags
The C++ Mathematical Expression Toolkit Library (ExprTk) is a simple to use, easy to integrate and extremely efficient run-time mathematical expression parsing and evaluation engine. The parsing engine supports...
More information
Kingdom.
OrTools.
Sat.
Parameters.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
3,159 total downloads
last updated
10/13/2019
Latest version:
1.1.1.16195
Google
Operations
Research
Tools
SAT
CP
CSP
constraint
satisfaction
problem
More tags
Provides the basis for a first class experience specifying SAT-CP solver parameters.
ZenLib.
Generators
by:
msrspock
2,067 total downloads
last updated
4/26/2022
Latest version:
0.1.3
zen
zenlib
modeling
constraint
solving
verification
smt
solver
binary
decision
More tags
Automatic generation of Zen field access methods.
Kingdom.
OrTools.
Sat.
Parameters
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
1,568 total downloads
last updated
10/13/2019
Latest version:
1.2.0.16195
Google
Operations
Research
Tools
SAT
CP
CSP
constraint
satisfaction
problem
More tags
Provides the basis for a first class experience specifying SAT-CP solver parameters.
SolversLibrary
by:
ussalcrab
.NET 7.0
503 total downloads
last updated
1/30/2024
Latest version:
1.1.0
hungarian
algorithm
constraint
satisfaction
problem
probabilistic
inversion
iterative
proportional
fitting
Some solvers for combinatorial problems and probabilistic inversion
Kingdom.
OrTools.
Sat.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
2,868 total downloads
last updated
10/13/2019
Latest version:
1.1.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.
Ellumination.
OrTools.
Sat.
Parameters.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
579 total downloads
last updated
1/9/2021
Latest version:
1.1.1.16220
Google
Operations
Research
Tools
SAT
CP
CSP
constraint
satisfaction
problem
More tags
Provides the basis for a first class experience specifying SAT-CP solver parameters.
ExprTk_Extras
by:
1111111
17,564 total downloads
last updated
2/21/2023
Latest version:
0.0.0.18
C++
mathematics
parser
expression
library
native
exprtk
c++
compiler
component
More tags
The C++ Mathematical Expression Toolkit Library (ExprTk) Extra Examples https://www.partow.net/programming/exprtk/index.html
Ellumination.
OrTools.
Sat.
Parameters
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
367 total downloads
last updated
1/9/2021
Latest version:
1.2.0.16202
Google
Operations
Research
Tools
SAT
CP
CSP
constraint
satisfaction
problem
More tags
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Ellumination.
OrTools.
ConstraintSolver.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
763 total downloads
last updated
1/9/2021
Latest version:
5.2.2.16214
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.
Ellumination.
OrTools.
Sat.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
370 total downloads
last updated
1/9/2021
Latest version:
1.1.2.16208
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.
Ellumination.
OrTools.
ConstraintSolver.
Routing
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
387 total downloads
last updated
1/9/2021
Latest version:
1.0.0.425
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.
Ellumination.
OrTools.
ConstraintSolver.
Routing.
Distances
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
461 total downloads
last updated
1/9/2021
Latest version:
1.0.0.310
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