Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
80 packages returned for Tags:"Solver"
Sort by
Relevance
Downloads
Recently updated
Microsoft.
Solver.
Foundation
by:
rickydutton
261,583 total downloads
last updated
1/19/2017
Latest version:
3.1.0
Microsoft
Solver
SolverFoundation
Package of Microsoft.Solver.Foundation 3.1
Meta.
Numerics
by:
ichbin
303,400 total downloads
last updated
8/21/2020
Latest version:
4.1.4
numeric
scientific
technical
math
data
statistics
matrix
fft
integration
optimization
More tags
A library for advanced numerical computing, with support for data manipulation, statistics, matrix algebra, Fourier transforms, advanced functions, extended precision, and solvers.
Microsoft.
Z3
by:
Microsoft
Z3Prover
69,140 total downloads
last updated
1/14/2023
Latest version:
4.12.0
smt
constraint
solver
theorem
prover
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
LpSolveDotNet
by:
MarcelGosselin
60,731 total downloads
last updated
2/20/2020
Latest version:
4.0.0
lpsolve
lp_solve
milp
solver
'LpSolveDotNet' allow running the Mixed Integer Linear Programming (MILP) solver 'lp_solve' in .NET. That can solve pure linear, (mixed) integer/binary, semi-continuous and special ordered sets (SOS)...
More information
Microsoft.
Z3.
x86
by:
Microsoft
Z3Prover
48,534 total downloads
last updated
1/14/2023
Latest version:
4.12.0
smt
constraint
solver
theorem
prover
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
FlareSolverrSharp
by:
FlareSolverr
153,601 total downloads
last updated
1/8/2023
Latest version:
3.0.4
flaresolverr
flaresolver
cloudflare
solver
bypass
protection
solving
library
cloudflaresolver
delegatinghandler
More tags
FlareSolverr .Net / Proxy server to bypass Cloudflare protection.
LMDotNet
by:
fniemeyer
31,480 total downloads
last updated
9/6/2016
Latest version:
1.8.0
maths
optimization
least-squares
solver
Levenberg-Marquardt non-linear least squares solver for .NET
LpSolveDotNet.
Native.
win-
x64
by:
MarcelGosselin
34,402 total downloads
last updated
2/20/2020
Latest version:
4.0.0
lpsolve
lp_solve
milp
solver
'LpSolveDotNet.Native.win-x64' and its dependency 'LpSolveDotNet' allow running the Mixed Integer Linear Programming (MILP) solver 'lp_solve' in .NET. That can solve pure linear, (mixed) integer/binary,...
More information
LpSolveDotNet.
Native.
osx-
x86
by:
MarcelGosselin
21,557 total downloads
last updated
2/20/2020
Latest version:
4.0.0
lpsolve
lp_solve
milp
solver
'LpSolveDotNet.Native.osx-x86' and its dependency 'LpSolveDotNet' allow running the Mixed Integer Linear Programming (MILP) solver 'lp_solve' in .NET. That can solve pure linear, (mixed) integer/binary,...
More information
LpSolveDotNet.
Native.
linux-
x64
by:
MarcelGosselin
22,254 total downloads
last updated
2/20/2020
Latest version:
4.0.0
lpsolve
lp_solve
milp
solver
'LpSolveDotNet.Native.linux-x64' and its dependency 'LpSolveDotNet' allow running the Mixed Integer Linear Programming (MILP) solver 'lp_solve' in .NET. That can solve pure linear, (mixed) integer/binary,...
More information
SpiceSharp
by:
SvenB
41,662 total downloads
last updated
6/26/2021
Latest version:
3.1.5
circuit
electronics
netlist
parser
spice
simulator
simulation
ode
solver
design
Spice# is a circuit simulator based on and improved from Spice 3f5 by Berkeley. The framework allows custom components and simulations to be added.
CloudflareSolverReNgosang
by:
ngosang
58,365 total downloads
last updated
5/26/2020
Latest version:
1.0.7.3
cloudflare
solver
bypass
protection
solving
library
cloudflaresolver
delegatinghandler
recaptcha
captcha
More tags
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
LpSolveDotNet.
Native.
win-
x86
by:
MarcelGosselin
11,938 total downloads
last updated
2/20/2020
Latest version:
4.0.0
lpsolve
lp_solve
milp
solver
'LpSolveDotNet.Native.win-x86' and its dependency 'LpSolveDotNet' allow running the Mixed Integer Linear Programming (MILP) solver 'lp_solve' in .NET. That can solve pure linear, (mixed) integer/binary,...
More information
OPTANO.
Modeling
by:
OPTANO
84,818 total downloads
last updated
1/13/2023
Latest version:
3.14.2.577
Modeling
Math
MIP
LP
Solver
Mathematical
OPTANO
Optimization
Gurobi
GLPK
More tags
The OPTANO Modeling library allows you to use C# as a Modeling language for mathematical optimization (mixed integer programming (MIP) and linear programming (LP)). It has a lightweight footprint and connects...
More information
LMDotNet.
FSharp
by:
fniemeyer
9,258 total downloads
last updated
9/6/2016
Latest version:
1.8.0
maths
optimization
least-squares
solver
Levenberg-Marquardt non-linear least squares solver for .NET
FsSolver
by:
pierre.irrmann
10,762 total downloads
last updated
4/9/2015
Latest version:
0.0.9
Linear
Solver
FSharp
A small linear equations solver
CheetahSolver
by:
CloudInvent
11,189 total downloads
last updated
10/13/2016
Latest version:
1.0.16
CAD
PARAMETRIC
CONSTRAINTS
CHEETAH
SOLVER
The fastest multithreading 2D parametric constraints solver for CAD applications. Examples: https://github.com/CloudInvent/Cheetah.Examples Full documentation will be available on our site:...
More information
SimpleSudokuSolver
by:
kurtanr
4,304 total downloads
last updated
4/12/2020
Latest version:
1.0.0
sudoku
solver
SimpleSudokuSolver is a library for solving sudoku puzzles written in C#. It supports solving of sudoku puzzles steps-by-step, using various solving strategies, from the simplest ones to the more complex ones....
More information
AntiCaptchaAPI
by:
Zaczero
33,498 total downloads
last updated
2/8/2022
Latest version:
1.4.2
anticaptcha
captcha
solver
google
recaptcha
hcaptcha
geetest
text
image
wrapper
More tags
Simple API wrapper for https://anti-captcha.com/
Daves.
WordamentSolver
by:
DavidGalehouse
7,636 total downloads
last updated
3/19/2017
Latest version:
2.2.0
wordament
solver
trie
boggle
board
Wordament solver that handles an arbitrary number of special tiles, finds the many-to-many word-path relationships, and approximates a best path.
Previous
Next