118 packages tagged with “Solver”
Package of Microsoft.Solver.Foundation 3.1
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
'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) models. This package needs one of the 'LpSolveDotNet.Native.*' packages to run, you should reference them instead. Another option would be to bring your own native library and allow 'LpSolveDotNet' to find it at runtime.
A library for advanced numerical computing, with support for data manipulation, statistics, matrix algebra, Fourier transforms, advanced functions, extended precision, and solvers.
'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, semi-continuous and special ordered sets (SOS) models. This package specifically targets platform 'win-x64'. You can find other 'LpSolveDotNet.Native.*' packages to run on other platforms (you can target multiple platforms at the same time). Another option would be to bring your own native library and allow 'LpSolveDotNet' to find it at runtime.
FlareSolverr .Net / Proxy server to bypass Cloudflare protection.
The Gurobi Optimizer, including the solver and the .NET API.
'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, semi-continuous and special ordered sets (SOS) models. This package specifically targets platform 'linux-x64'. You can find other 'LpSolveDotNet.Native.*' packages to run on other platforms (you can target multiple platforms at the same time). Another option would be to bring your own native library and allow 'LpSolveDotNet' to find it at runtime.
Spice# is a circuit simulator based on and improved from Spice 3f5 by Berkeley. The framework allows custom components and simulations to be added.
'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, semi-continuous and special ordered sets (SOS) models. This package specifically targets platform 'win-x86'. You can find other 'LpSolveDotNet.Native.*' packages to run on other platforms (you can target multiple platforms at the same time). Another option would be to bring your own native library and allow 'LpSolveDotNet' to find it at runtime.
Levenberg-Marquardt non-linear least squares solver for .NET
C#-only solver for the rectangular linear assignment problem, also known as the minimum weight full matching problem for bipartite graphs. Algorithms used include shortest augmenting path search and cost-scaling pseudoflow based assignment.
'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, semi-continuous and special ordered sets (SOS) models. This package specifically targets platform 'osx-x86'. You can find other 'LpSolveDotNet.Native.*' packages to run on other platforms (you can target multiple platforms at the same time). Another option would be to bring your own native library and allow 'LpSolveDotNet' to find it at runtime.
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.
'LpSolveDotNet.Native.linux-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, semi-continuous and special ordered sets (SOS) models. This package specifically targets platform 'linux-x86'. You can find other 'LpSolveDotNet.Native.*' packages to run on other platforms (you can target multiple platforms at the same time). Another option would be to bring your own native library and allow 'LpSolveDotNet' to find it at runtime.
API for AMPL - native binaries
Library that implements the APIs of the most used captcha solving services.
API for AMPL
A small linear equations 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: www.cloud-invent.com, or by request on support@cloud-invent.com If you want to see CheetahSolver in action you can download Cheetah Solver Plugin fo AutoCAD from Autodesk Exchange Apps store: https://apps.autodesk.com/ACD/en/Detail/Index?id=appstore.exchange.autodesk.com%3acheetahsolver_windows32and64%3aen, or from our site: http://www.cloud-invent.com/download. Cheetah Solver Plugin replaces built-in AutoCAD parametric solver by our CheetahSolver For technical questions and support please contact us by e-mail: support@cloud-invent.com. For the purpose of commercial usage of CheetahSolver .Net API please contact us by e-mail: info@cloud-invent.com
Simple API wrapper for https://anti-captcha.com/
Embrace Wangkanai Solver, a mathematical powerhouse for handling complex optimization and simulation problems. Great for finding optimal solutions within extensive datasets, and modeling intricate systems. Join our community, contribute, and help revolutionize mathematical problem solving!
Library for captcha solving using anti-captcha.com api
Adds additional services to CaptchaSharp.
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
Wordament solver that handles an arbitrary number of special tiles, finds the many-to-many word-path relationships, and approximates a best path.