PyPI
coin-or/pulp
A python Linear Programming API
Eigene Lizenz27. Aug. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#solver
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
26 Einträge
crates.io
facet-rs/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Apache-2.020. Aug. 2026 · Metriken 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.016. Juli 2026 · Metriken 2.10.0
crates.io
martinjrobins/diffsol
ODE solver library in Rust
MIT5. Sept. 2026 · Metriken 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.
MIT23. Aug. 2026 · Metriken 2.10.0
crates.io
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Keine Lizenz23. Juli 2026 · Metriken 2.10.0
crates.io
ratatui/kasuari
Cassowary constraint solving algorithm
Apache-2.021. Aug. 2026 · Metriken 2.10.0
Maven
chocoteam/choco-solver
An open-source Java library for Constraint Programming
BSD-3-Clause18. Juli 2026 · Metriken 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.
MIT12. Aug. 2026 · Metriken 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.
MIT28. Juli 2026 · Metriken 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.
MIT9. Aug. 2026 · Metriken 2.10.0
npm
lovasoa/highs-js
Javascript linear programming library
MIT28. Aug. 2026 · Metriken 2.10.0
crates.io · npm · PyPI
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Apache-2.021. Juli 2026 · Metriken 2.10.0
crates.io
astral-sh/pubgrub
PubGrub version solving algorithm implemented in Rust
MPL-2.05. Sept. 2026 · Metriken 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.019. Juli 2026 · Metriken 2.10.0
NuGet
FlareSolverr/FlareSolverrSharp
FlareSolverr .Net / Proxy server to bypass Cloudflare protection
MIT10. Aug. 2026 · Metriken 2.10.0
crates.io
rust-or/highs
Safe rust bindings to the Highs MILP Solver.
MIT22. Aug. 2026 · Metriken 2.10.0
crates.io · PyPI
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.021. Juli 2026 · Metriken 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.
MIT21. Juli 2026 · Metriken 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.
MIT26. Juli 2026 · Metriken 2.10.0
npm
owen-lacey/cpsat-js
Keine Repository-Beschreibung veröffentlicht.
MIT5. Sept. 2026 · Metriken 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.01. Aug. 2026 · Metriken 2.10.0
—
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
MIT17. Aug. 2026 · Metriken 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.01. Aug. 2026 · Metriken 2.10.0
crates.io · PyPI
eee555/ms-toollib
Algorithms for minesweeper, published on various platforms.
MIT27. Juli 2026 · Metriken 2.10.0
PyPI
lava-nc/lava-optimization
Neuromorphic mathematical optimization with Lava
BSD-3-Clause5. Sept. 2026 · Metriken 2.10.0