Top 20 NuGet solver Packages

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# is a circuit simulator based on and improved from Spice 3f5 by Berkeley. The framework allows custom components and simulations to be added.
FlareSolverr .Net / Proxy server to bypass Cloudflare protection.
Spice#.Behavioral is a library that allows using behavioral components in the circuit simulator Spice#.
Simple API wrapper for https://2captcha.com/
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. OPTANO.Modeling.Gurobi comes with a size-limited Gurobi license (Package OPTANO Modeling required). Please visit htt...
The Unofficial.Microsoft.Solver.Foundation.Express deployment package. Corresponds to Microsoft Solver Foundation - Express Edition v3.0.2.10889
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.
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
CloudProxy .Net / Proxy server to bypass Cloudflare protection.
YetAnotherCloudProxy .Net / Proxy server to bypass Cloudflare protection.
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 GmbH This program is free software: you can redistribute it and/or modify it und...
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://anti-captcha.com/
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed