PyPI
coin-or/pulp
A python Linear Programming API
Custom licenseAug 27, 2026 · metrics 2.10.0
All tags
Catalogue tag
#solver
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
26 records
crates.io
facet-rs/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Apache-2.0Aug 20, 2026 · metrics 2.10.0
Maven
TimefoldAI/timefold-solver
The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Apache-2.0Jul 16, 2026 · metrics 2.10.0
crates.io
martinjrobins/diffsol
ODE solver library in Rust
MITSep 5, 2026 · metrics 2.10.0
NuGet
asc-community/AngouriMath
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
MITAug 23, 2026 · metrics 2.10.0
crates.io
prove-rs/z3.rs
Rust bindings for the Z3 solver.
No licenseJul 23, 2026 · metrics 2.10.0
crates.io
ratatui/kasuari
Cassowary constraint solving algorithm
Apache-2.0Aug 21, 2026 · metrics 2.10.0
Maven
chocoteam/choco-solver
An open-source Java library for Constraint Programming
BSD-3-ClauseJul 18, 2026 · metrics 2.10.0
crates.io · PyPI
jkitchin/feral
Feral is a pure-Rust sparse symmetric indefinite linear solver with certified inertia counts for use in interior-point optimization algorithms.
MITAug 12, 2026 · metrics 2.10.0
crates.io
cpmech/russell
Rust Scientific Library. ODE, DAE, and PDE solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse solvers. Probability distributions. Tensor calculus. Numerical continuation.
MITJul 28, 2026 · metrics 2.10.0
crates.io
rust-or/good_lp
Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
MITAug 9, 2026 · metrics 2.10.0
npm
lovasoa/highs-js
Javascript linear programming library
MITAug 28, 2026 · metrics 2.10.0
crates.io · npm · PyPI
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Apache-2.0Jul 21, 2026 · metrics 2.10.0
crates.io
astral-sh/pubgrub
PubGrub version solving algorithm implemented in Rust
MPL-2.0Sep 5, 2026 · metrics 2.10.0
crates.io · npm · PyPI
cool-japan/oxiz
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
Apache-2.0Jul 19, 2026 · metrics 2.10.0
NuGet
FlareSolverr/FlareSolverrSharp
FlareSolverr .Net / Proxy server to bypass Cloudflare protection
MITAug 10, 2026 · metrics 2.10.0
crates.io
rust-or/highs
Safe rust bindings to the Highs MILP Solver.
MITAug 22, 2026 · metrics 2.10.0
crates.io · PyPI
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.0Jul 21, 2026 · metrics 2.10.0
npm
Hyper-Solutions/hyper-sdk-js
JavaScript / TypeScript SDK for Bot Protection Bypass - Automate Akamai, Incapsula, Kasada, and DataDome. No browsers required. Solve challenges and generate valid sensors/cookies via API.
MITJul 21, 2026 · metrics 2.10.0
Go
Hyper-Solutions/hyper-sdk-go
Go SDK for Bot Protection Bypass - Automate Akamai, Incapsula, Kasada, and DataDome. No browsers required. Solve challenges and generate valid sensors/cookies via API.
MITJul 26, 2026 · metrics 2.10.0
npm
owen-lacey/cpsat-js
No repository description published.
MITSep 5, 2026 · metrics 2.10.0
npm
b-inary/wasm-postflop
[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance (web browser version)
AGPL-3.0Aug 1, 2026 · metrics 2.10.0
—
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
MITAug 17, 2026 · metrics 2.10.0
crates.io · npm
b-inary/desktop-postflop
[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance
AGPL-3.0Aug 1, 2026 · metrics 2.10.0
crates.io · PyPI
eee555/ms-toollib
Algorithms for minesweeper, published on various platforms.
MITJul 27, 2026 · metrics 2.10.0
PyPI
lava-nc/lava-optimization
Neuromorphic mathematical optimization with Lava
BSD-3-ClauseSep 5, 2026 · metrics 2.10.0