Top 20 NuGet solver Packages

FlareSolverr .Net / Proxy server to bypass Cloudflare protection.
A library for advanced numerical computing, with support for data manipulation, statistics, matrix algebra, Fourier transforms, advanced functions, extended precision, and solvers.
Spice# is a circuit simulator based on and improved from Spice 3f5 by Berkeley. The framework allows custom components and simulations to be added.
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 to several solvers.
Spice#.Behavioral is a library that allows using behavioral components in the circuit simulator Spice#.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
State of the Art Mathematical Programming Solver This package ships all files to run Gurobi with OPTANO Modeling on win64 and linux64. No additional installation required. When running on linux, please also install gurobi as usual. OPTANO.Modeling.Gurobi comes with a size-limited Gurobi l...
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Simple API wrapper for https://2captcha.com/
Provides the core problem solver abstraction for use with Google OR-tools Constraint Solver and Linear Solver wrappers.
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
The Unofficial.Microsoft.Solver.Foundation.Express deployment package. Corresponds to Microsoft Solver Foundation - Express Edition v3.0.2.10889
With all answers see documentation or ask on gitter or github issues
Simple API wrapper for https://anti-captcha.com/