PyPI
coin-or/pulp
A python Linear Programming API
Власна ліцензія27 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#solver
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
26 записів
crates.io
facet-rs/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Apache-2.020 серп. 2026 р. · метрики 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 лип. 2026 р. · метрики 2.10.0
crates.io
martinjrobins/diffsol
ODE solver library in Rust
MIT5 вер. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
crates.io
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Без ліцензії23 лип. 2026 р. · метрики 2.10.0
crates.io
ratatui/kasuari
Cassowary constraint solving algorithm
Apache-2.021 серп. 2026 р. · метрики 2.10.0
Maven
chocoteam/choco-solver
An open-source Java library for Constraint Programming
BSD-3-Clause18 лип. 2026 р. · метрики 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 серп. 2026 р. · метрики 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 лип. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
npm
lovasoa/highs-js
Javascript linear programming library
MIT28 серп. 2026 р. · метрики 2.10.0
crates.io · npm · PyPI
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Apache-2.021 лип. 2026 р. · метрики 2.10.0
crates.io
astral-sh/pubgrub
PubGrub version solving algorithm implemented in Rust
MPL-2.05 вер. 2026 р. · метрики 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 лип. 2026 р. · метрики 2.10.0
NuGet
FlareSolverr/FlareSolverrSharp
FlareSolverr .Net / Proxy server to bypass Cloudflare protection
MIT10 серп. 2026 р. · метрики 2.10.0
crates.io
rust-or/highs
Safe rust bindings to the Highs MILP Solver.
MIT22 серп. 2026 р. · метрики 2.10.0
crates.io · PyPI
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.021 лип. 2026 р. · метрики 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 лип. 2026 р. · метрики 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 лип. 2026 р. · метрики 2.10.0
npm
owen-lacey/cpsat-js
Опис репозиторію не опубліковано.
MIT5 вер. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
—
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
MIT17 серп. 2026 р. · метрики 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 серп. 2026 р. · метрики 2.10.0
crates.io · PyPI
eee555/ms-toollib
Algorithms for minesweeper, published on various platforms.
MIT27 лип. 2026 р. · метрики 2.10.0
PyPI
lava-nc/lava-optimization
Neuromorphic mathematical optimization with Lava
BSD-3-Clause5 вер. 2026 р. · метрики 2.10.0