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.

10 records
Tagged “solver”Ranked by health index
PyPI
81Goodhealth index
coin-or/pulp
A python Linear Programming API
Python · Rust★ 2,465↓ 6M/moJul 21, 2026
Custom licenseJul 21, 2026 · metrics 1.13.0
Maven
77Goodhealth index
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.
Java★ 1,716Jul 16, 2026
Apache-2.0Jul 16, 2026 · metrics 1.13.0
Maven
69Moderatehealth index
chocoteam/choco-solver
An open-source Java library for Constraint Programming
Java★ 771Jul 18, 2026
BSD-3-ClauseJul 18, 2026 · metrics 1.13.0
crates.io
68Moderatehealth index
martinjrobins/diffsol
ODE solver library in Rust
Rust★ 129↓ 0/moJul 14, 2026
MITJul 14, 2026 · metrics 1.13.0
crates.io · npm · PyPI
63Moderatehealth index
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Rust★ 107↓ 4,473/moJul 21, 2026
Apache-2.0Jul 21, 2026 · metrics 1.13.0
crates.io · npm · PyPI
61Moderatehealth index
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.
Rust★ 49↓ 9,818/moJul 19, 2026
Apache-2.0Jul 19, 2026 · metrics 1.13.0
crates.io · PyPI
52Moderatehealth index
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Rust★ 578↓ 185.7K/moJul 21, 2026
Apache-2.0Jul 21, 2026 · metrics 1.13.0
Go
51Moderatehealth index
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.
Go★ 62Jul 20, 2026
MITJul 20, 2026 · metrics 1.13.0
npm
51Moderatehealth index
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.
TypeScript★ 54↓ 31.6K/moJul 21, 2026
MITJul 21, 2026 · metrics 1.13.0
PyPI
18Criticalhealth index
lava-nc/lava-optimization
Neuromorphic mathematical optimization with Lava
Jupyter Notebook · Python★ 67↓ 35/moJul 14, 2026
BSD-3-ClauseJul 14, 2026 · metrics 1.13.0