pypi.org "solver" keyword
Top 2.2% on pypi.org
6 versions - Latest release: almost 8 years ago - 20 dependent packages - 322 dependent repositories - 7.05 thousand downloads last month - 520 stars on GitHub - 2 maintainers
python-constraint 1.4.0
python-constraint is a module implementing support for handling CSPs (Constraint Solving Problems...6 versions - Latest release: almost 8 years ago - 20 dependent packages - 322 dependent repositories - 7.05 thousand downloads last month - 520 stars on GitHub - 2 maintainers
conda-presto 0.8.0 π°
Resolve, inspect, and cache conda solve results through CLI, HTTP, CI, and solver integrations5 versions - Latest release: 3 months ago - 36 downloads last month - 1 stars on GitHub - 1 maintainer
feral-solver 0.21.0 π°
Sparse symmetric indefinite direct solver with certified inertia, in pure Rust.22 versions - Latest release: 2 days ago - 516 downloads last month - 21 stars on GitHub - 1 maintainer
Top 8.0% on pypi.org
77 versions - Latest release: over 2 years ago - 1 dependent package - 4 dependent repositories - 1.44 thousand downloads last month - 6 stars on GitHub - 1 maintainer
geneticalgorithm2 6.9.2
Supported highly optimized and flexible genetic algorithm package for python77 versions - Latest release: over 2 years ago - 1 dependent package - 4 dependent repositories - 1.44 thousand downloads last month - 6 stars on GitHub - 1 maintainer
discopt 0.9.0 π°
MINLP solver with a Rust core: spatial branch and bound over convex relaxations13 versions - Latest release: 28 days ago - 1.14 thousand downloads last month - 29 stars on GitHub - 1 maintainer
Top 0.6% on pypi.org
48 versions - Latest release: 4 months ago - 35 dependent packages - 1,017 dependent repositories - 7.7 million downloads last month - 130 stars on GitHub - 3 maintainers
osqp 1.1.3
OSQP: The Operator Splitting QP Solver48 versions - Latest release: 4 months ago - 35 dependent packages - 1,017 dependent repositories - 7.7 million downloads last month - 130 stars on GitHub - 3 maintainers
op-engine 0.8.0
Numerical solvers for spatial, nonlocal, compartmental and stochastic reaction models, with obser...9 versions - Latest release: 3 days ago - 431 downloads last month - 4 stars on GitHub
r3d2 1.0
Relativistic Reactive Riemann problem solver for Deflagrations and Detonations2 versions - Latest release: over 10 years ago - 2 dependent repositories - 12 downloads last month - 6 stars on GitHub - 1 maintainer
pyro-hydro 4.5.1
A python hydrodynamics code for teaching and prototyping7 versions - Latest release: 3 months ago - 118 downloads last month - 335 stars on GitHub - 1 maintainer
Top 2.2% on pypi.org
30 versions - Latest release: about 1 year ago - 24 dependent packages - 166 dependent repositories - 159 thousand downloads last month - 658 stars on GitHub - 1 maintainer
pyamg 5.3.0
PyAMG: Algebraic Multigrid Solvers in Python30 versions - Latest release: about 1 year ago - 24 dependent packages - 166 dependent repositories - 159 thousand downloads last month - 658 stars on GitHub - 1 maintainer
rlsolver 0.0.2
RLSolver: High-performance RL solvers.3 versions - Latest release: over 3 years ago - 6 downloads last month - 168 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
69 versions - Latest release: 10 months ago - 12 dependent packages - 51 dependent repositories - 42.3 thousand downloads last month - 710 stars on GitHub - 1 maintainer
gekko 1.3.2 π°
Machine learning and optimization for dynamic systems69 versions - Latest release: 10 months ago - 12 dependent packages - 51 dependent repositories - 42.3 thousand downloads last month - 710 stars on GitHub - 1 maintainer
Top 1.5% on pypi.org
67 versions - Latest release: 3 days ago - 115 dependent packages - 639 dependent repositories - 5.39 million downloads last month - 2,490 stars on GitHub - 3 maintainers
pulp 4.1.0 π°
PuLP is an LP modeler written in python. PuLP can generate MPS or LP files and call GLPK, COIN CL...67 versions - Latest release: 3 days ago - 115 dependent packages - 639 dependent repositories - 5.39 million downloads last month - 2,490 stars on GitHub - 3 maintainers
pydgq 1.1.0
ODE system solver using dG(q), time-discontinuous Galerkin with Lobatto basis6 versions - Latest release: 2 months ago - 1 dependent repositories - 186 downloads last month - 18 stars on GitHub - 1 maintainer
Top 8.4% on pypi.org
16 versions - Latest release: over 1 year ago - 11 dependent packages - 1 dependent repositories - 6.52 million downloads last month - 617 stars on GitHub - 1 maintainer
clarabel 0.11.1
Clarabel Conic Interior Point Solver for Rust / Python16 versions - Latest release: over 1 year ago - 11 dependent packages - 1 dependent repositories - 6.52 million downloads last month - 617 stars on GitHub - 1 maintainer
shopee-captcha-solver 0.2.2
This package integrates with Selenium or Playwright to solve any Shopee captcha in one line of code.12 versions - Latest release: 5 months ago - 265 downloads last month - 57 stars on GitHub - 1 maintainer
tiktok-captcha-solver 0.8.9
This package integrates with Selenium or Playwright to solve any TikTok captcha in one line of code.48 versions - Latest release: about 2 months ago - 11.8 thousand downloads last month - 109 stars on GitHub - 1 maintainer
ovos-wolfram-alpha-plugin 1.1.2a2 π°
ovos wolfram-alpha plugin7 versions - Latest release: 3 days ago - 1.53 thousand downloads last month - 0 stars on GitHub - 1 maintainer
cdclkit 0.1.2
A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in re...3 versions - Latest release: about 2 months ago - 0 stars on GitHub - 1 maintainer
bandit-agents 0.5.23
Library to solve k-armed bandit problems8 versions - Latest release: over 1 year ago - 48 downloads last month - 0 stars on GitHub - 1 maintainer
playwright-recaptcha 0.5.1 π°
A library for solving reCAPTCHA v2 and v3 with Playwright22 versions - Latest release: over 2 years ago - 1 dependent repositories - 23.6 thousand downloads last month - 587 stars on GitHub - 1 maintainer
cow-backtester 0.11.3
Offline backtester, A/B harness, and counterfactual scorecard for CoW Protocol solvers6 versions - Latest release: 9 days ago - 4 stars on GitHub - 1 maintainer
cow-certify 0.5.2
Independent, public-data verification for CoW Protocol settlements.5 versions - Latest release: about 1 month ago - 419 downloads last month - 0 stars on GitHub - 1 maintainer
ceris 0.1.0
Solve LP and MIP optimization models over the Ceris API β one call, no account.1 version - Latest release: 2 months ago - 1 maintainer
browser-use-turnstile 0.1.0
A browser-use action that solves Cloudflare Turnstile via the Peak API: reads the sitekey, solves...1 version - Latest release: 5 days ago - 0 downloads last month - 1 maintainer
nexus-opt 0.1.0
Rust-core optimisation library for Python: LP, MILP, QP, conic, nonlinear, black-box, multi-objec...1 version - Latest release: 3 months ago - 54 downloads last month - 0 stars on GitHub - 1 maintainer
smt-switch 1.1.6
Python bindings for the smt-switch C++ SMT solving library11 versions - Latest release: about 1 month ago - 1 dependent repositories - 384 downloads last month - 143 stars on GitHub - 1 maintainer
Top 2.6% on pypi.org
71 versions - Latest release: 3 months ago - 27 dependent packages - 163 dependent repositories - 880 thousand downloads last month - 762 stars on GitHub - 1 maintainer
qpsolvers 4.13.0
Quadratic programming solvers in Python with a unified API.71 versions - Latest release: 3 months ago - 27 dependent packages - 163 dependent repositories - 880 thousand downloads last month - 762 stars on GitHub - 1 maintainer
muaraicaptcha 1.1.0
Official Python SDK for the MuaraiCaptcha solving API2 versions - Latest release: 3 months ago - 1 maintainer
combaero 0.6.0
Combustion and aerothermal tools (C++ core with Python bindings)13 versions - Latest release: about 1 month ago - 756 downloads last month - 0 stars on GitHub - 1 maintainer
algebra-ai999x 1.2.0 π°
Offline, verified algebra solver: quadratic, cubic and quartic equations, linear systems, inequal...3 versions - Latest release: 5 days ago - 0 downloads last month - 1 maintainer
ed-master-smartsolver 0.4.1
Step-by-step mathematics solver built on SymPy β equations, calculus, and annotated rules.4 versions - Latest release: 2 months ago - 89 downloads last month - 0 stars on GitHub - 1 maintainer
dedoku 1.1.0
A pure-Python Sudoku solver that uses only human-style logical deduction techniques (no backtrack...7 versions - Latest release: 3 months ago - 78 downloads last month - 2 stars on GitHub - 1 maintainer
zeratool 2.2
Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems5 versions - Latest release: about 4 years ago - 1 dependent repositories - 74 downloads last month - 1,146 stars on GitHub - 1 maintainer
cosoco 2.6.1
The cosoco constraint solver, shipped as a prebuilt executable1 version - Latest release: about 1 month ago - 394 downloads last month - 15 stars on GitHub - 1 maintainer
wordlesmith 0.1.0
A Wordle solver with pluggable strategies and a strategy-comparison benchmark suite.1 version - Latest release: 4 months ago - 19 downloads last month - 4 stars on GitHub - 1 maintainer
thronic-solver 1.1.0
Official Python SDK for the Thronic Solver hCaptcha solving API.2 versions - Latest release: 3 months ago - 32 downloads last month - 1 stars on GitHub - 1 maintainer
syside-solver 0.10.3
Component that provides evaluation and solving capabilities for Syside Automator1 version - Latest release: 3 months ago
timefold 0.0.1
An AI constraint solver that optimizes planning and scheduling problems17 versions - Latest release: over 3 years ago - 4.28 thousand downloads last month - 1,835 stars on GitHub - 4 maintainers
spellcast-solver 1.0.1
A trie-guided solver for the Discord SpellCast word game.2 versions - Latest release: 4 months ago - 11 downloads last month - 0 stars on GitHub - 1 maintainer
qubo-solver 0.9.1
A Quadratic Unconstrained Binary Optimization (QUBO) solver library using quantum and classical a...22 versions - Latest release: 7 days ago - 305 downloads last month - 27 stars on GitHub - 1 maintainer
cyhighs 0.2.2
Cython bindings to the HiGHS linear and mixed integer optimization solver4 versions - Latest release: 3 months ago - 1 maintainer
rubikoslav 0.4.1
C++ Rubik's Cube engine, adaptive solver, Python API, and interactive visualizer1 version - Latest release: 3 months ago - 0 stars on GitHub - 1 maintainer
pokerkit-plus 0.0.1
PokerKit Plus β fork-free capability extensions on top of PokerKit; a drop-in superset of pokerkit.1 version - Latest release: 4 months ago - 6 downloads last month - 1 stars on GitHub - 1 maintainer
ghostcaptcha-client 1.2.1
Official Python client for GhostCaptcha API β sync/async captcha solving4 versions - Latest release: 3 months ago - 406 downloads last month - 1 maintainer
pokerai-bet 0.1.0
Official Python client for the Pokerai API β solver-grade GTO strategy for 6-max No-Limit Hold'em...2 versions - Latest release: 4 months ago - 44 downloads last month - 1 maintainer
shein-captcha-solver 0.2.2
This package integrates with Selenium or Playwright to solve any shein captcha in one line of code.1 version - Latest release: 4 months ago - 112 downloads last month - 0 stars on GitHub - 1 maintainer
nxuskit-py 1.0.5
Python SDK for nxusKit β pure-Python providers with optional SDK-bundle native engines3 versions - Latest release: 4 months ago - 12 downloads last month - 4 stars on GitHub - 1 maintainer
ms_toollib 1.5.15
Algorithms for minesweeper.60 versions - Latest release: 3 months ago - 31 stars on GitHub - 1 maintainer
mipster 0.3.12
Pre-built MIPster MIP solver shared library (CPU-dispatched)15 versions - Latest release: 4 months ago - 247 downloads last month - 4 stars on GitHub - 1 maintainer
openseespy-solvers 0.3.0
scipy-style PythonSparse solvers for OpenSeesPy6 versions - Latest release: 6 days ago - 25 downloads last month - 0 stars on GitHub - 1 maintainer
clingo-funasp 6.0.0.post16
Python bindings to the clingo solver.4 versions - Latest release: 4 months ago - 118 downloads last month - 853 stars on GitHub - 1 maintainer
akari-sat 0.1.2
γ’γ«γͺοΌηΎθ‘逨 / Light UpοΌγγΊγ«γ SAT γ½γ«γγΌγ§θ§£γγ©γ€γγ©γͺ3 versions - Latest release: 5 months ago - 34 downloads last month - 1 stars on GitHub - 1 maintainer
quant-gameth 0.1.0
A novel Quantum-Game Theory framework for complex problem solving1 version - Latest release: 8 months ago - 17 downloads last month - 0 stars on GitHub - 1 maintainer
dsuni 0.1.1
A modular constraint solver β SAT, SMT, LP, MILP, CP, MINLP1 version - Latest release: 5 months ago - 261 downloads last month - 0 stars on GitHub - 1 maintainer
nextsolver 1.0.0
NextSolver Python SDK β AI-Powered Captcha Solving API. CapSolver-compatible.1 version - Latest release: 5 months ago - 15 downloads last month - 1 maintainer
Top 7.9% on pypi.org
1 version - Latest release: 9 months ago - 63 downloads last month - 1 stars on GitHub - 1 maintainer
z3smt-mcp 0.1.0 π°
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning1 version - Latest release: 9 months ago - 63 downloads last month - 1 stars on GitHub - 1 maintainer
pdesolver 0.1.9
Symbolic PDE solver using finite difference discretization10 versions - Latest release: 5 months ago - 1.2 thousand downloads last month - 11 stars on GitHub - 1 maintainer
recaptcha-bypass-rizkyrauf 0.1.0
Solve Google reCAPTCHA via audio challenge. Works with Playwright, CloakBrowser, and Selenium.1 version - Latest release: 5 months ago - 0 stars on GitHub - 1 maintainer
lizzy-lib 0.1.1
A filling simulation solver for Liquid Composite Molding (LCM) processes2 versions - Latest release: 5 months ago - 19 downloads last month - 6 stars on GitHub - 2 maintainers
queens-generator 0.1.0
Generator and human-style solver for LinkedIn-Queens / Star Battle puzzles.1 version - Latest release: 6 months ago - 11 downloads last month - 2 stars on GitHub - 1 maintainer
Top 7.3% on pypi.org
12 versions - Latest release: 14 days ago - 655 downloads last month - 60 stars on GitHub - 1 maintainer
oxiz 0.3.4 π°
Python bindings for OxiZ SMT Solver12 versions - Latest release: 14 days ago - 655 downloads last month - 60 stars on GitHub - 1 maintainer
auto-captcha-solver 0.1.3
Universal captcha solver for Playwright automation β hCaptcha + reCAPTCHA v2 via NopeCHA API1 version - Latest release: 6 months ago - 47 downloads last month - 10 stars on GitHub - 1 maintainer
math-solver-ai-mcp 1.0.9 π°
Math Solver Ai automation via MCP. Includes solve equation, statistics summary, matrix operations...9 versions - Latest release: 4 months ago - 213 downloads last month - 0 stars on GitHub - 1 maintainer
ovos-yes-no-plugin 0.3.0
A yes/no answer parser for OpenVoiceOS4 versions - Latest release: 7 months ago - 39.7 thousand downloads last month - 0 stars on GitHub - 1 maintainer
pylu 1.1.0
Small nogil-compatible linear equation system solver7 versions - Latest release: 2 months ago - 1 dependent repositories - 243 downloads last month - 0 stars on GitHub - 1 maintainer
optiprofiler-agent 0.1.0a8
AI Agent system for OptiProfiler β advisor, debugger, and results interpreter. CLI: opagent (reco...7 versions - Latest release: 4 months ago - 66 downloads last month - 0 stars on GitHub - 1 maintainer
solvex-sdk 0.1.2
Python client for the Solvex FunCaptcha solving API.3 versions - Latest release: 5 months ago - 189 downloads last month - 1 maintainer
miplog 0.2.0
Parse MIP/LP solver log files (Gurobi, Xpress, SCIP, HiGHS, COPT, β¦) into a unified, serde-serial...2 versions - Latest release: 6 months ago - 30 downloads last month - 0 stars on GitHub - 1 maintainer
auto-captcha 0.1.3
Universal captcha solver for Playwright automation β hCaptcha + reCAPTCHA v2 via NopeCHA API4 versions - Latest release: 6 months ago - 3 stars on GitHub - 2 maintainers
zoomy-server 0.2.0
FastAPI solver server for Zoomy β submits and manages simulation jobs.1 version - Latest release: 6 months ago - 34 downloads last month - 4 stars on GitHub - 1 maintainer
hklpy2-solvers 0.3.8
Solvers for the hklpy2 package18 versions - Latest release: 2 months ago - 244 downloads last month - 0 stars on GitHub - 1 maintainer
completcha 1.0.1
Captcha Solver1 version - Latest release: 6 months ago - 57 downloads last month - 3 stars on GitHub - 1 maintainer
fast-linsolve 0.3.0
ι«ζ§θ½ηΊΏζ§ζΉη¨η»ζ±θ§£ε¨εΊοΌ3 η§η΄ζ₯ζ³ + 3 η§θΏδ»£ζ³οΌNumba JIT δΈ Cython ζ·±εΊ¦δΌεγ3 versions - Latest release: 6 days ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
mapflow-co-sdk 2.0.1
Python SDK for MapFlow route optimization API - v2 with hierarchical product support2 versions - Latest release: 7 months ago - 10 downloads last month - 0 stars on GitHub - 1 maintainer
devils-help 1.0.1
A password-locked personal AI assistant to solve coding problems from text or screenshots2 versions - Latest release: 7 months ago - 112 downloads last month - 1 maintainer
ovos-solver-yes-no-plugin 0.2.8 π°
A question solver plugin for OVOS10 versions - Latest release: almost 2 years ago - 13.3 thousand downloads last month - 0 stars on GitHub - 2 maintainers
sundials4py 7.9.0
Official Python bindings for the SUNDIALS suite of nonlinear and differential/algebraic equation ...4 versions - Latest release: about 2 months ago - 1.45 thousand downloads last month - 700 stars on GitHub - 2 maintainers
cubekit 0.0.1
Modular toolkit for human-style Rubik's Cube solving and cube simulation1 version - Latest release: 7 months ago - 51 downloads last month - 0 stars on GitHub - 1 maintainer
reynoldsflow 0.1.3
Conservative finite-volume solvers for Reynolds flow in rough-contact and annular gaps5 versions - Latest release: 24 days ago - 113 downloads last month - 7 stars on GitHub - 1 maintainer
larsdoku-zs 2.2.0
WSRF Sudoku solver library β bitwise engine, GF(2) linear algebra, zone intelligence, SIRO predic...14 versions - Latest release: 7 months ago - 124 downloads last month - 1 maintainer
ries-rs 2.0.2
Find algebraic equations given their solution7 versions - Latest release: 4 months ago - 44 downloads last month - 1 stars on GitHub - 1 maintainer
gurddy-mcp 0.1.11
MCP (Model Context Protocol) server for Gurddy optimization library - CSP, LP, and SciPy integrat...12 versions - Latest release: 12 months ago - 27 downloads last month - 2 stars on GitHub - 1 maintainer
system0 0.2.0
The Universal Solver β autonomous analysis engine that finds and fixes problems in anything1 version - Latest release: 7 months ago - 16 downloads last month - 1 maintainer
plectrum-core 0.1.2
A unified Python SDK for submitting optimization problems to cloud or local solvers3 versions - Latest release: 4 months ago - 34 downloads last month - 0 stars on GitHub - 1 maintainer
ocilar 0.1.0
Official Python SDK for Ocilar β CAPTCHA solving and document extraction API1 version - Latest release: 7 months ago - 44 downloads last month - 0 stars on GitHub - 1 maintainer
admiral-solver 2.0.3
Python SDK for Admiral β combinatorial optimization platform9 versions - Latest release: 7 months ago - 65 downloads last month - 1 maintainer
agentkata 0.1.4
Official Python SDK for the agentkata.dev solver platform5 versions - Latest release: 7 months ago - 59 downloads last month - 0 stars on GitHub - 1 maintainer
superadmm 0.7.2
Quadratic Programming solver using a superlinear ADMM method2 versions - Latest release: about 1 month ago - 1.66 thousand downloads last month - 7 stars on GitHub - 1 maintainer
z3-pyodide 0.1.0
z3-py compatible API for Pyodide (browser) via SMT-LIB2 text protocol1 version - Latest release: 7 months ago - 23 downloads last month - 0 stars on GitHub - 1 maintainer
larsdoku 4.0.0
Pure logic Sudoku solver β 45 techniques, mask+solution seed schema, signature catalog, zero back...54 versions - Latest release: 6 months ago - 5.88 thousand downloads last month - 0 stars on GitHub - 1 maintainer
donksolver 0.1.0
Tabular Monte Carlo CFR solver for no-limit hold'em, with frozen policy bundles and a batch actio...1 version - Latest release: 9 days ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
pyelli 0.23.1
An ellipsometry analysis tool for reproducible and comprehensible building of optical models.29 versions - Latest release: 3 months ago - 1 dependent repositories - 1.75 thousand downloads last month - 40 stars on GitHub - 2 maintainers
captcha-solver-ai 0.1.2
Neural net CAPTCHA solver. MobileNetV2 + OpenCV grid splitting. CLI and Python API. Built for the...3 versions - Latest release: 8 months ago - 83 downloads last month - 0 stars on GitHub - 1 maintainer
sudoku-solver 0.2
Library and scripts for solving Sudoku puzzles.2 versions - Latest release: over 9 years ago - 3 dependent repositories - 1.24 thousand downloads last month - 13 stars on GitHub - 1 maintainer
nslsolver 1.1.1
Official Python SDK for the NSLSolver captcha solving API4 versions - Latest release: 4 months ago - 40 downloads last month - 3 stars on GitHub - 1 maintainer
markdown-math-solver 1.0.0
Process Python code embedded in LaTeX math blocks in Markdown files1 version - Latest release: 8 months ago - 7 downloads last month - 1 stars on GitHub - 1 maintainer
cbcbox 2.935
Binary distribution of the CBC MILP solver (COIN-OR Branch and Cut)19 versions - Latest release: 2 months ago - 130 thousand downloads last month - 14 stars on GitHub - 1 maintainer
rubik-solver-py 0.1.1
A Python implementation of Kociemba's two-phase algorithm for solving the Rubik's Cube2 versions - Latest release: 8 months ago - 818 downloads last month - 1 stars on GitHub - 1 maintainer
los-lang 3.3.7
Write Math, Run Python. A Language for Optimization Specification (LOS).6 versions - Latest release: 8 months ago - 12 downloads last month - 2 stars on GitHub - 1 maintainer
Related Keywords
python
83
optimization
81
captcha
47
puzzle
30
recaptcha
24
automation
19
ai
18
linear-programming
17
sudoku
17
math
16
api
15
cube
14
selenium
14
operations-research
14
rubik
12
playwright
12
hcaptcha
12
turnstile
12
mip
12
mathematics
12
constraint-programming
11
sat
11
equations
10
solve
10
sparse
10
rust
10
algorithm
9
cloudflare
9
bypass
9
game
9
gurobi
8
operations research
8
python3
8
scientific-computing
8
equation
8
simulation
8
optimization-algorithms
8
cuda
7
constraint
7
linear
7
quadratic-programming
7
logic
7
funcaptcha
7
captcha-solver
6
wordle
6
pypi
6
geetest
6
conic
6
vehicle-routing-problem
6
mcp
6
constraints
6
numerical
6
ODE
6
numerical-methods
6
bot
5
physics
5
plugin
5
numpy
5
z3
5
nonlinear
5
parser
5
nonogram
5
mixed-integer-programming
5
Optimization
5
cbc
5
milp
5
claude
5
calculator
5
linear-algebra
5
kociemba
5
electromagnetic
5
problem
5
convex
5
gpu
5
minesweeper
5
modeling
5
satisfiability
5
decision engineering
5
decision science
5
decisions
5
nextmv
5
ode-solver
5
quantum
5
cpp
5
solvers
5
cli
5
pulp
5
numerical-optimization
5
sdk
5
algebra
5
smt
5
education
4
solver-library
4
qubo
4
pardiso
4
pde
4
rotate
4
llm
4
mkl
4
constraint-satisfaction-problem
4