PyPI
coin-or/pulp
A python Linear Programming API
Власна ліцензія27 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#solver
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
38 записів
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.08 вер. 2026 р. · метрики 2.10.0
PyPI
acados/acados
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control
Власна ліцензія18 вер. 2026 р. · метрики 2.10.0
crates.io
facet-rs/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Apache-2.019 жовт. 2026 р. · метрики 2.10.0
crates.io
propeller-heads/tycho
Low latency indexer service for blockchain data.
MIT9 вер. 2026 р. · метрики 2.10.0
Maven
optimatika/ojAlgo
oj! Algorithms - Open Source Java library for mathematics, linear algebra and optimisation. Pure Java, zero dependencies: fast matrices plus LP, QP and MIP solvers.
MIT20 вер. 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
PyPI
qpsolvers/qpsolvers
Quadratic programming solvers in Python with a unified API
LGPL-3.06 вер. 2026 р. · метрики 2.10.0
crates.io
ratatui/kasuari
Cassowary constraint solving algorithm
Apache-2.020 жовт. 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.
MIT14 вер. 2026 р. · метрики 2.10.0
crates.io · npm · PyPI
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Apache-2.012 вер. 2026 р. · метрики 2.10.0
crates.io
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Без ліцензії13 вер. 2026 р. · метрики 2.10.0
Maven
chocoteam/choco-solver
An open-source Java library for Constraint Programming
BSD-3-Clause10 вер. 2026 р. · метрики 2.10.0
crates.io
cvc5/cvc5-rs
Rust interface for cvc5
BSD-3-Clause2 жовт. 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.
MIT17 вер. 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.011 вер. 2026 р. · метрики 2.10.0
npm
lovasoa/highs-js
Javascript linear programming library
MIT28 серп. 2026 р. · метрики 2.10.0
PyPI · crates.io
py-econometrics/within
A fast linear solver for fixed effects problems
MIT11 жовт. 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.
MIT17 вер. 2026 р. · метрики 2.10.0
crates.io
astral-sh/pubgrub
PubGrub version solving algorithm implemented in Rust
MPL-2.05 вер. 2026 р. · метрики 2.10.0
npm
kamilmielnik/scrabble-solver
Free, open-source, cross-platform, multi-language analysis tool for Scrabble, Scrabble Duel, Super Scrabble, Letter League, Crossplay, Literaki, Kelimelik, and Wyrazy. Quickly find the top-scoring words using the given board and tiles. Available in 8 languages.
Власна ліцензія1 жовт. 2026 р. · метрики 2.10.0
PyPI · crates.io
milanofthe/rslab
Pure-Rust sparse direct solver (symmetric LDLᵀ + unsymmetric LU + KLU) and preconditioner. A PARDISO-style, type-agnostic, embeddable replacement with no native dependencies.
Власна ліцензія9 жовт. 2026 р. · метрики 2.10.0
PyPI
simpeg/pymatsolver
Solve matrix equations in python.
MIT16 жовт. 2026 р. · метрики 2.10.0
NuGet
FlareSolverr/FlareSolverrSharp
FlareSolverr .Net / Proxy server to bypass Cloudflare protection
MIT17 вер. 2026 р. · метрики 2.10.0
npm
mirek/cave
Compressed Atomic Verb Expressions
Власна ліцензія10 вер. 2026 р. · метрики 2.10.0
crates.io
rust-or/highs
Safe rust bindings to the Highs MILP Solver.
MIT20 жовт. 2026 р. · метрики 2.10.0
PyPI · crates.io
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.012 вер. 2026 р. · метрики 2.10.0
Packagist
donatj/php-dnf-solver
PHP DNF (Disjunctive Normal Form) Signature Compatibility Solver
MIT1 жовт. 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.
MIT12 вер. 2026 р. · метрики 2.10.0