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. When running on linux, please also install gurobi as usual. OPTANO.Modeling.Gurobi comes with a size-limited Gurobi l...
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