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
106 packages returned for Tags:"Solver"
Sort by
Relevance
Downloads
Recently updated
vsteam.
Z3.
M1
by:
mxprshn
.NET 6.0
802 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
SudokuSpice
by:
MorganRoff
.NET 5.0
4,013 total downloads
last updated
11/12/2022
Latest version:
3.2.2
sudoku
solver
solve
solving
generator
generate
generating
sudokuspice
spice
puzzle
More tags
An efficient sudoku solving and generating library targeting .NET 5 and above. This library is designed to work as a framework for solving or generating any Sudoku-style puzzles. For example, you can...
More information
SudokuSolverLibrary
by:
Kartoshkin-btw
.NET 5.0
.NET Core 3.1
228 total downloads
last updated
4/13/2022
Latest version:
1.0.0
Sudoku
SudokuSolver
Solver
Sudoku array solver
Kingdom.
OrTools.
ConstraintSolver.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
13,750 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.
CloudProxySharp
by:
JBou
.NET 5.0
.NET Core 1.0
.NET Standard 1.3
.NET Framework 4.6
3,754 total downloads
last updated
3/11/2021
Latest version:
1.0.2
cloudproxy
cloudflare
solver
bypass
protection
solving
library
cloudflaresolver
flaresolverr
flaresolver
More tags
CloudProxy .Net / Proxy server to bypass Cloudflare protection.
OPTANO.
Modeling.
GLPK
by:
OPTANO
.NET 5.0
.NET Core 3.0
.NET Standard 2.1
.NET Framework 4.6.1
3,578 total downloads
last updated
8/23/2023
Latest version:
4.65.2.2
GLPK
LP
MILP
MIP
IP
Solver
Mathematical
Optimization
Multi
Objective
More tags
OPTANO.Modeling.GLPK provides a solver adapter that connects the GLPK ( https://www.gnu.org/software/glpk/ ) to OPTANO.Modeling ( https://www.nuget.org/packages/optano.modeling ). Copyright (C) 2020 OPTANO...
More information
VSTeam.
Z3
by:
VSharpTeam
.NET 6.0
623 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
Z3.
Linq.
Examples
by:
endjin
.NET 8.0
1,455 total downloads
last updated
3/18/2024
Latest version:
2.0.1
Z3
LINQ
Solver
SMT
Examples
Sudoku
Bart
De
Smet
Sample Theorems for Sudoku and River Crossing problems.
Kingdom.
OrTools.
Sat.
Parameters.
Core
by:
mwpowellhtx
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
3,162 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.
Kaszub09.
TicTacToe.
Game
by:
Kaszub09
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
265 total downloads
last updated
11/23/2022
Latest version:
1.0.0
TicTacToe
AI
Solver
Game
3DTicTacToe
Library for playing TicTacToe game, both classic and multidimensional variants.
YetAnotherCloudProxySharp
by:
abeloin
.NET 5.0
.NET Core 1.0
.NET Standard 1.3
.NET Framework 4.6
2,578 total downloads
last updated
12/13/2020
Latest version:
1.0.5
YetAnotherCloudProxy
flaresolverr
flaresolver
cloudflare
solver
bypass
protection
solving
library
cloudflaresolver
More tags
YetAnotherCloudProxy .Net / Proxy server to bypass Cloudflare protection.
Kaszub09.
TicTacToe.
AI
by:
Kaszub09
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
200 total downloads
last updated
11/23/2022
Latest version:
1.0.0
TicTacToe
AI
Solver
Game
3DTicTacToe
Library for move evaluators of TicTacToe game, both classic and multidimensional variants.
CaptchaAI
by:
alperensert
Deprecated
.NET 6.0
555 total downloads
last updated
11/8/2022
Latest version:
1.0.0
CaptchaAI
ReCaptcha
v2
solver
Bypass
captcha
anti-captcha
CaptchaAI Library for .NET
CapMonster.
Cloud
by:
alperensert
.NET 6.0
318 total downloads
last updated
7/26/2023
Latest version:
1.0.0
Capmonster
ReCaptcha
v2
solver
Bypass
captcha
anti-captcha
Capmonster.cloud Library for .NET Core
ZenLib.
Generators
by:
msrspock
2,069 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.
AMPL.
Module.
mosek.
linux64
by:
ampl
85 total downloads
last updated
5/6/2024
Latest version:
2024.4.29
native
optimization
ampl
modeling-language
solver
Contain the binaries of the Mosek driver for AMPL
AMPL.
Module.
mosek.
mswin64
by:
ampl
84 total downloads
last updated
5/6/2024
Latest version:
2024.4.29
native
optimization
ampl
modeling-language
solver
Contain the binaries of the Mosek driver for AMPL
StapletonMathPackage
by:
scott_stapleton
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
104 total downloads
last updated
2/28/2024
Latest version:
1.0.0
Matrix
vector
calculus
solver
ODE
A random assembly of static methods for matrix and vector operations, system of ODE solver, Newton Raphson, and minor calculus methods.
AMPL.
Module.
highs.
linux64
by:
ampl
41 total downloads
last updated
5/6/2024
Latest version:
2024.5.6-preview.1
native
optimization
ampl
modeling-language
solver
Contain the binaries of the HiGHS driver for AMPL
AMPL.
Module.
gurobi.
mswin64
by:
ampl
45 total downloads
last updated
5/6/2024
Latest version:
2024.5.6-preview.1
native
optimization
ampl
modeling-language
solver
Contain the binaries of the Gurobi driver for AMPL
Previous
Next