Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org "solver" keyword
ampl.api.runtime.linux-x64 2.3.10
API for AMPL - native binaries16 versions - Latest release: 7 days ago - 2.71 thousand downloads total - 1 maintainer
ampl.api 2.3.10
API for AMPL17 versions - Latest release: 7 days ago - 2.23 thousand downloads total - 1 maintainer
ampl.api.runtime.win-x64 2.3.10
API for AMPL - native binaries16 versions - Latest release: 7 days ago - 2.84 thousand downloads total - 1 maintainer
ampl.api.runtime.osx-x64 2.3.10
API for AMPL - native binaries16 versions - Latest release: 7 days ago - 2.98 thousand downloads total - 1 maintainer
ampl.module.highs 2024.4.29
Contain the binaries of the HiGHS driver for AMPL1 version - Latest release: 8 days ago - 1 maintainer
Top 8.8% on nuget.org
1 version - Latest release: 8 days ago - 1 maintainer
ampl.module.gurobi 2024.4.29
Contain the binaries of the Gurobi driver for AMPL1 version - Latest release: 8 days ago - 1 maintainer
ampl.module.base 2024.5.10
Contains the binaries for AMPL and the license manager2 versions - Latest release: 8 days ago - 1 maintainer
ampl.module.mosek.mswin64 2024.4.29
Contain the binaries of the Mosek driver for AMPL1 version - Latest release: 7 days ago - 0 downloads total - 1 maintainer
ampl.module.mosek.macos64 2024.4.29
Contain the binaries of the Mosek driver for AMPL1 version - Latest release: 7 days ago - 0 downloads total - 1 maintainer
ampl.module.mosek.linux64 2024.4.29
Contain the binaries of the Mosek driver for AMPL1 version - Latest release: 7 days ago - 0 downloads total - 1 maintainer
Top 8.8% on nuget.org
1 version - Latest release: over 124 years ago
ampl-base 2023.10.12
Contains the binaries for AMPL and the license manager1 version - Latest release: over 124 years ago
stapletonmathpackage 1.0.0
A random assembly of static methods for matrix and vector operations, system of ODE solver, Newto...1 version - Latest release: 2 months ago - 102 downloads total - 1 maintainer
Top 7.5% on nuget.org
6 versions - Latest release: over 7 years ago - 1 dependent package - 3 dependent repositories - 41.4 thousand downloads total - 1 maintainer
lmdotnet 1.8.0
Levenberg-Marquardt non-linear least squares solver for .NET6 versions - Latest release: over 7 years ago - 1 dependent package - 3 dependent repositories - 41.4 thousand downloads total - 1 maintainer
blackstar.eventaggregators 1.5.2
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...40 versions - Latest release: 11 months ago - 54.3 thousand downloads total - 16 stars on GitHub - 1 maintainer
blackstar.io 1.3.4
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...29 versions - Latest release: over 2 years ago - 22.9 thousand downloads total - 16 stars on GitHub - 1 maintainer
fsz3 1.0.0 💰
This is a F# Z3 API wrapper1 version - Latest release: over 7 years ago - 1.21 thousand downloads total - 2 stars on GitHub - 1 maintainer
blackstar.viewmodel 1.5.2
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...34 versions - Latest release: 11 months ago - 13.8 thousand downloads total - 16 stars on GitHub - 1 maintainer
blackstar.functions 1.5.2
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...40 versions - Latest release: 11 months ago - 45.9 thousand downloads total - 16 stars on GitHub - 1 maintainer
Top 8.4% on nuget.org
9 versions - Latest release: over 6 years ago - 3 dependent packages - 1 dependent repositories - 17.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
kingdom.ortools.core 2.0.2
Provides the core problem solver abstraction for use with Google OR-tools Constraint Solver and L...9 versions - Latest release: over 6 years ago - 3 dependent packages - 1 dependent repositories - 17.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
ellumination.ortools.core 2.20.0.21653
Provides the core problem solver abstraction for use with Google OR-tools Constraint Solver and L...1 version - Latest release: over 3 years ago - 5 dependent packages - 1.27 thousand downloads total - 4 stars on GitHub - 1 maintainer
blackstar.model 1.2.1
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...21 versions - Latest release: about 3 years ago - 42.3 thousand downloads total - 16 stars on GitHub - 1 maintainer
kingdom.ortools.sat.core 1.1.2.16195
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...4 versions - Latest release: over 4 years ago - 2.87 thousand downloads total - 7 stars on GitHub - 1 maintainer
z3-20190104 4.8.4
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 5 years ago - 1.37 thousand downloads total - 9,735 stars on GitHub - 1 maintainer
Top 4.6% on nuget.org
10 versions - Latest release: about 4 years ago - 6 dependent packages - 3 dependent repositories - 92.5 thousand downloads total - 23 stars on GitHub - 1 maintainer
lpsolvedotnet 4.0.0
'LpSolveDotNet' allow running the Mixed Integer Linear Programming (MILP) solver 'lp_solve' in .N...10 versions - Latest release: about 4 years ago - 6 dependent packages - 3 dependent repositories - 92.5 thousand downloads total - 23 stars on GitHub - 1 maintainer
lmdotnet-x86 1.5.3
Levenberg-Marquardt non-linear least squares solver for .NET4 versions - Latest release: over 124 years ago
blackstar.algorithms 1.5.2
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...39 versions - Latest release: 11 months ago - 30.9 thousand downloads total - 16 stars on GitHub - 1 maintainer
numberpartitioning 1.3.0
Some C#-only solvers for the multi-way partition problem.4 versions - Latest release: almost 2 years ago - 4.05 thousand downloads total - 1 maintainer
monthtodaycalculation 1.0.0.8
Cubic Splines Interpolation4 versions - Latest release: over 124 years ago
blackstar.rules 1.5.2
BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for vari...39 versions - Latest release: 11 months ago - 19.4 thousand downloads total - 14 stars on GitHub - 1 maintainer
Top 5.2% on nuget.org
4 versions - Latest release: over 124 years ago - 3 dependent packages - 475 stars on GitHub
wangkanai.browser 1.0.0-t0031dfd9c 💰
Wangkanai extension client web browser detection components4 versions - Latest release: over 124 years ago - 3 dependent packages - 475 stars on GitHub
Top 8.5% on nuget.org
14 versions - Latest release: over 3 years ago - 693 thousand downloads total - 549 stars on GitHub - 1 maintainer
wangkanai.detection.crawler 2.0.1 💰
ASP.NET Core Detection Crawler resolver components14 versions - Latest release: over 3 years ago - 693 thousand downloads total - 549 stars on GitHub - 1 maintainer
Top 4.7% on nuget.org
19 versions - Latest release: over 3 years ago - 1 dependent package - 30 dependent repositories - 444 thousand downloads total - 1 maintainer
meta.numerics 4.1.4
A library for advanced numerical computing, with support for data manipulation, statistics, matri...19 versions - Latest release: over 3 years ago - 1 dependent package - 30 dependent repositories - 444 thousand downloads total - 1 maintainer
linearassignment 1.2.0
C#-only solver for the rectangular linear assignment problem, also known as the minimum weight fu...8 versions - Latest release: over 3 years ago - 40.9 thousand downloads total - 1 maintainer
wangkanai.detection.platform 2.0.1 💰
ASP.NET Core Platform Resolver components14 versions - Latest release: over 3 years ago - 265 thousand downloads total - 549 stars on GitHub - 1 maintainer
Top 2.5% on nuget.org
8 versions - Latest release: over 124 years ago - 4 dependent packages - 23 dependent repositories
microsoft.z3.x64 4.8.10
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...8 versions - Latest release: over 124 years ago - 4 dependent packages - 23 dependent repositories
lpsolvedotnet.native.linux-x86 4.0.0
'LpSolveDotNet.Native.linux-x86' and its dependency 'LpSolveDotNet' allow running the Mixed Integ...4 versions - Latest release: about 4 years ago - 6.2 thousand downloads total - 23 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
4 versions - Latest release: about 4 years ago - 32.6 thousand downloads total - 23 stars on GitHub - 1 maintainer
lpsolvedotnet.native.linux-x64 4.0.0
'LpSolveDotNet.Native.linux-x64' and its dependency 'LpSolveDotNet' allow running the Mixed Integ...4 versions - Latest release: about 4 years ago - 32.6 thousand downloads total - 23 stars on GitHub - 1 maintainer
microsoft.z3 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...14 versions - Latest release: about 1 year ago - 165 thousand downloads total - 9,735 stars on GitHub - 2 maintainers
cloudflaresolverre.captcha 1.0.6
Extends CloudflareSolverRe, contains captcha providers (2Captcha, AntiCaptcha) that helps solving...7 versions - Latest release: over 4 years ago - 3 dependent repositories - 6.53 thousand downloads total - 173 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
4 versions - Latest release: about 4 years ago - 28.9 thousand downloads total - 23 stars on GitHub - 1 maintainer
lpsolvedotnet.native.osx-x86 4.0.0
'LpSolveDotNet.Native.osx-x86' and its dependency 'LpSolveDotNet' allow running the Mixed Integer...4 versions - Latest release: about 4 years ago - 28.9 thousand downloads total - 23 stars on GitHub - 1 maintainer
Top 9.1% on nuget.org
18 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 30.5 thousand downloads total - 6 stars on GitHub - 1 maintainer
spicesharpbehavioral 3.1.3
Spice#.Behavioral is a library that allows using behavioral components in the circuit simulator S...18 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 30.5 thousand downloads total - 6 stars on GitHub - 1 maintainer
wangkanai.responsive.core 2.0.1 💰
Package Description13 versions - Latest release: over 124 years ago - 538 stars on GitHub
simplesudokusolver 1.0.0
SimpleSudokuSolver is a library for solving sudoku puzzles written in C#. It supports solving of...10 versions - Latest release: about 4 years ago - 5.15 thousand downloads total - 3 stars on GitHub - 1 maintainer
microsoft.z3.x86 4.12.2
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: l...11 versions - Latest release: about 1 year ago - 65.8 thousand downloads total - 9,727 stars on GitHub - 2 maintainers
kingdom.ortools.sat.parameters 1.2.0.16195
Provides the basis for a first class experience specifying SAT-CP solver parameters.3 versions - Latest release: over 4 years ago - 1.57 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 8.9% on nuget.org
14 versions - Latest release: over 3 years ago - 224 thousand downloads total - 549 stars on GitHub - 1 maintainer
wangkanai.detection.engine 2.0.1 💰
ASP.NET Core Detection Engine resolver components14 versions - Latest release: over 3 years ago - 224 thousand downloads total - 549 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
7 versions - Latest release: about 4 years ago - 3 dependent repositories - 63.2 thousand downloads total - 12 stars on GitHub - 1 maintainer
cloudflaresolverrengosang 1.0.7
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET...7 versions - Latest release: about 4 years ago - 3 dependent repositories - 63.2 thousand downloads total - 12 stars on GitHub - 1 maintainer
Top 8.3% on nuget.org
15 versions - Latest release: over 3 years ago - 1.44 million downloads total - 549 stars on GitHub - 1 maintainer
wangkanai.detection.core 2.0.1 💰
ASP.NET Core Detection service components for identifying details about client device, browser, e...15 versions - Latest release: over 3 years ago - 1.44 million downloads total - 549 stars on GitHub - 1 maintainer
Top 7.6% on nuget.org
7 versions - Latest release: over 124 years ago - 1 dependent package - 3 dependent repositories
cloudflaresolver 1.4.1
Cloudflare JavaScript & ReCaptchaV2 challenge solving library (aka. *Under Attack Mode* bypass).7 versions - Latest release: over 124 years ago - 1 dependent package - 3 dependent repositories
unofficial.microsoft.solver.foundation.express 3.0.4 💰
The Unofficial.Microsoft.Solver.Foundation.Express deployment package. Corresponds to Micro...3 versions - Latest release: over 3 years ago - 1 dependent repositories - 3.23 thousand downloads total - 6 stars on GitHub - 1 maintainer
daves.wordamentsolver 2.2.0
Wordament solver that handles an arbitrary number of special tiles, finds the many-to-many word-p...8 versions - Latest release: about 7 years ago - 1 dependent repositories - 8.83 thousand downloads total - 4 stars on GitHub - 1 maintainer
spicesharpparser 1.1.0
Netlist parser for SpiceSharp4 versions - Latest release: over 124 years ago
ellumination.ortools.sat.parameters 1.2.0.16202
Provides the basis for a first class experience specifying SAT-CP solver parameters.1 version - Latest release: over 3 years ago - 371 downloads total - 4 stars on GitHub - 1 maintainer
Top 6.5% on nuget.org
2 versions - Latest release: over 124 years ago - 1 dependent package - 476 stars on GitHub
wangkanai.extensions.browserdetection 1.0.0-t0031d2ffd 💰
Wangkanai extension client web browser detection components2 versions - Latest release: over 124 years ago - 1 dependent package - 476 stars on GitHub
kingdom.ortools.sat.parameters.core 1.1.1.16195
Provides the basis for a first class experience specifying SAT-CP solver parameters.3 versions - Latest release: over 4 years ago - 2 dependent packages - 3.16 thousand downloads total - 7 stars on GitHub - 1 maintainer
lmdotnet.fsharp 1.8.0
Levenberg-Marquardt non-linear least squares solver for .NET5 versions - Latest release: over 7 years ago - 1 dependent repositories - 9.95 thousand downloads total - 1 maintainer
ellumination.ortools.sat.core 1.1.2.16208
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 3 years ago - 374 downloads total - 4 stars on GitHub - 1 maintainer
Top 9.2% on nuget.org
4 versions - Latest release: about 4 years ago - 59.6 thousand downloads total - 23 stars on GitHub - 1 maintainer
lpsolvedotnet.native.win-x64 4.0.0
'LpSolveDotNet.Native.win-x64' and its dependency 'LpSolveDotNet' allow running the Mixed Integer...4 versions - Latest release: about 4 years ago - 59.6 thousand downloads total - 23 stars on GitHub - 1 maintainer
wangkanai.detection.browser 2.0.1 💰
ASP.NET Core Detection Browser resolver components19 versions - Latest release: over 3 years ago - 1.07 million downloads total - 549 stars on GitHub - 1 maintainer
kingdom.ortools.linearsolver.core 1.3.2.16195
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.5 versions - Latest release: over 4 years ago - 3.13 thousand downloads total - 7 stars on GitHub - 1 maintainer
ellumination.ortools.constraintsolver.routing.distances 1.0.0.310
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 3 years ago - 1 dependent package - 464 downloads total - 4 stars on GitHub - 1 maintainer
cloudflaresolverre.dext3r 1.0.7
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET...2 versions - Latest release: over 124 years ago - 0 stars on GitHub
ellumination.ortools.sat.parameters.core 1.1.1.16220
Provides the basis for a first class experience specifying SAT-CP solver parameters.1 version - Latest release: over 3 years ago - 2 dependent packages - 583 downloads total - 4 stars on GitHub - 1 maintainer
lpsolvedotnet.native.win-x86 4.0.0
'LpSolveDotNet.Native.win-x86' and its dependency 'LpSolveDotNet' allow running the Mixed Integer...4 versions - Latest release: about 4 years ago - 1 dependent repositories - 23.9 thousand downloads total - 22 stars on GitHub - 1 maintainer
capmonstercloud 1.1.1
This is a wrapper for CapMonster Cloud API and provides methods to create a task and get the resu...3 versions - Latest release: about 3 years ago - 2 dependent repositories - 5.87 thousand downloads total - 16 stars on GitHub - 1 maintainer
Top 4.1% on nuget.org
7 versions - Latest release: over 4 years ago - 4 dependent packages - 11 dependent repositories - 30.1 thousand downloads total - 170 stars on GitHub - 1 maintainer
cloudflaresolverre 1.0.6
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET...7 versions - Latest release: over 4 years ago - 4 dependent packages - 11 dependent repositories - 30.1 thousand downloads total - 170 stars on GitHub - 1 maintainer
Top 9.7% on nuget.org
14 versions - Latest release: over 6 years ago - 1 dependent package - 1 dependent repositories - 13.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
kingdom.ortools.constraintsolver.core 5.0.4
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...14 versions - Latest release: over 6 years ago - 1 dependent package - 1 dependent repositories - 13.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
symbolica.z3 0.1.0
Z3 built from an arbitrary commit and packaged for dotnet.18 versions - Latest release: almost 3 years ago - 14 thousand downloads total - 0 stars on GitHub - 1 maintainer
zenlib.generators 0.1.3
Automatic generation of Zen field access methods.4 versions - Latest release: about 2 years ago - 2.07 thousand downloads total - 76 stars on GitHub - 1 maintainer
matrixdotnet.netcore 0.0.7
With all answers see documentation or ask on gitter or github issues2 versions - Latest release: over 124 years ago
matrixdecompositionsolver 1.0.0
Matrix Decomposition: * A=LU1 version - Latest release: over 2 years ago - 300 downloads total - 0 stars on GitHub - 1 maintainer
ellumination.ortools.linearsolver.core 1.3.2.16210
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.1 version - Latest release: over 3 years ago - 376 downloads total - 4 stars on GitHub - 1 maintainer
2captchaapi 1.10.1 💰
Simple API wrapper for https://2captcha.com/15 versions - Latest release: almost 2 years ago - 42.8 thousand downloads total - 32 stars on GitHub - 1 maintainer
yetanothercloudproxysharp 1.0.5
YetAnotherCloudProxy .Net / Proxy server to bypass Cloudflare protection.4 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.58 thousand downloads total - 0 stars on GitHub - 1 maintainer
tinymath 1.0.1
A tiny and lightweight math expression calculator!2 versions - Latest release: over 1 year ago - 1.23 thousand downloads total - 1 maintainer
matrixdotnet.extensions.core 0.0.1
MatrixDotNet.Extensions.Core is a extension for MatrixDotNet .NET Core 3.1 which increase perfoma...1 version - Latest release: over 124 years ago
ellumination.ortools.constraintsolver.routing 1.0.0.425
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 3 years ago - 391 downloads total - 4 stars on GitHub - 1 maintainer
anticaptchaapi 1.4.2 💰
Simple API wrapper for https://anti-captcha.com/8 versions - Latest release: over 2 years ago - 51.5 thousand downloads total - 17 stars on GitHub - 1 maintainer
cloudproxysharp 1.0.2
CloudProxy .Net / Proxy server to bypass Cloudflare protection.4 versions - Latest release: about 3 years ago - 1 dependent repositories - 3.73 thousand downloads total - 4 stars on GitHub - 1 maintainer
sudokuassistant 0.2.0-alpha
Modular system for working with different sudoku puzzles.2 versions - Latest release: over 124 years ago
esyl.treeproblemframework 2.1.4
Single code to rule them all. TreeProblemFramework is a .Net Core 3 class library to solve puzzle...9 versions - Latest release: about 2 years ago - 7.85 thousand downloads total - 1 maintainer
ellumination.ortools.constraintsolver.core 5.2.2.16214
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the G...1 version - Latest release: over 3 years ago - 1 dependent package - 779 downloads total - 4 stars on GitHub - 1 maintainer
captchaai 1.0.0
CaptchaAI Library for .NET2 versions - Latest release: over 1 year ago - 555 downloads total - 4 stars on GitHub - 1 maintainer
spicesharpgenerator 1.0.7
A source generator that is built to help extending the functionality of the SpiceSharp framework.7 versions - Latest release: almost 2 years ago - 3.07 thousand downloads total - 1 maintainer
capmonster.cloud 1.0.0
Capmonster.cloud Library for .NET Core2 versions - Latest release: 10 months ago - 316 downloads total - 0 stars on GitHub - 1 maintainer
spicesharpbsim 1.0.1
BSIM models for Spice#.1 version - Latest release: 9 months ago - 141 downloads total - 1 stars on GitHub - 1 maintainer
wangkanai.commandline 0.0.0 💰
This project is a shared commandline runtime utilities.1 version - Latest release: over 124 years ago - 538 stars on GitHub
fr.univartois.cril.csuniverse 0.1.1
`CSUuniverse` is a `C#` version of [UNIVERSE](https://github.com/crillab/universe) library and pr...2 versions - Latest release: about 1 year ago - 450 downloads total - 1 maintainer
wangkanai.responsive.taghelper 2.0.1 💰
Package Description11 versions - Latest release: over 124 years ago - 538 stars on GitHub
sudokuspice 3.2.2
An efficient sudoku solving and generating library targeting .NET 5 and above. This library is ...9 versions - Latest release: over 1 year ago - 4.01 thousand downloads total - 2 stars on GitHub - 1 maintainer
vsteam.z3.m1 4.8.11-alpha
Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binarie...1 version - Latest release: over 124 years ago
capsolver 1.2.1
CapSolver.com Library for .NET Core4 versions - Latest release: 10 months ago - 2.73 thousand downloads total - 4 stars on GitHub - 1 maintainer
vuisis.microsoft.z3 4.8.11
Z3 is a satisfiability modulo theories solver from Microsoft Research.1 version - Latest release: over 124 years ago
powerflowcore 0.14.0
Solver for Power Flow Problem. Power grid steady-state analysis.9 versions - Latest release: 6 months ago - 1.33 thousand downloads total - 6 stars on GitHub - 1 maintainer
vsteam.z3 4.11.2-alpha
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips1 version - Latest release: 7 months ago
zenlib 3.1.6
A library that simplifies building verification tools in .NET63 versions - Latest release: 7 months ago - 26.3 thousand downloads total - 75 stars on GitHub - 1 maintainer
flaresolverrsharp-fork 3.0.5
FlareSolverr .Net / Proxy server to bypass Cloudflare protection.1 version - Latest release: 7 months ago - 260 downloads total - 14 stars on GitHub - 1 maintainer
wangkanai.detection.device 2.0.1 💰
ASP.NET Core Detection Device resolver components22 versions - Latest release: over 3 years ago - 1.15 million downloads total - 549 stars on GitHub - 1 maintainer
spicesharp 3.1.8
Spice# is a circuit simulator based on and improved from Spice 3f5 by Berkeley. The framework all...50 versions - Latest release: 3 months ago - 115 thousand downloads total - 214 stars on GitHub - 1 maintainer
Related Keywords
constraint
22
optimization
21
captcha
17
recaptcha
15
problem
14
Tools
14
Research
14
Operations
14
Google
14
dotnet
13
wrapper
13
solving
13
csharp
12
satisfaction
12
disposable
12
aspnetcore
11
analytics
11
detection
11
responsive
11
modeling-language
11
ampl
11
native
11
smt
10
CSP
10
challenge
10
CP
10
javascript
10
library
10
cloudflare
10
google
10
utilities
10
host
10
object
10
CLR
10
delegatinghandler
9
cloudflaresolver
9
protection
9
bypass
9
ortools
8
math
8
wrappers
8
prover
8
theorem
8
solution
8
boolean
8
bool
8
integer
8
int
8
variables
8
variable
8
dispose
8
advanced-planning-and-scheduling
7
any-time-scheduling
7
space-mission
7
continuous-time-scheduling
7
aps
7
spice
6
milp
6
lp_solve
6
lpsolve
6
netlist
5
simulator
5
electronics
5
simulation
5
ode
5
flaresolverr
5
circuit
5
flaresolver
5
SAT
5
IVariant
4
Variant
4
parameter
4
modeling
4
linear
4
parameters
4
design
4
puzzle
4
v2
3
ReCaptcha
3
Bypass
3
anti-captcha
3
parser
3
least-squares
3
maths
3
bypass-captcha
3
matrix
3
sudoku
3
ddos
3
api
3
nuget
2
hcaptcha
2
LSP
2
diagrams
2
diagram
2
MatrixDotNet
2
sse
2
avx
2
algebra
2
decomposition
2
anticaptcha
2