PyPI
coin-or/pulp
A python Linear Programming API
自定义许可证2026年8月27日 · 指标 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.02026年8月20日 · 指标 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.02026年7月16日 · 指标 2.10.0
crates.io
martinjrobins/diffsol
ODE solver library in Rust
MIT2026年9月5日 · 指标 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.
MIT2026年8月23日 · 指标 2.10.0
crates.io
prove-rs/z3.rs
Rust bindings for the Z3 solver.
无许可证2026年7月23日 · 指标 2.10.0
crates.io
ratatui/kasuari
Cassowary constraint solving algorithm
Apache-2.02026年8月21日 · 指标 2.10.0
Maven
chocoteam/choco-solver
An open-source Java library for Constraint Programming
BSD-3-Clause2026年7月18日 · 指标 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.
MIT2026年8月12日 · 指标 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.
MIT2026年7月28日 · 指标 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.
MIT2026年8月9日 · 指标 2.10.0
npm
lovasoa/highs-js
Javascript linear programming library
MIT2026年8月28日 · 指标 2.10.0
crates.io · npm · PyPI
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Apache-2.02026年7月21日 · 指标 2.10.0
crates.io
astral-sh/pubgrub
PubGrub version solving algorithm implemented in Rust
MPL-2.02026年9月5日 · 指标 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.02026年7月19日 · 指标 2.10.0
NuGet
FlareSolverr/FlareSolverrSharp
FlareSolverr .Net / Proxy server to bypass Cloudflare protection
MIT2026年8月10日 · 指标 2.10.0
crates.io
rust-or/highs
Safe rust bindings to the Highs MILP Solver.
MIT2026年8月22日 · 指标 2.10.0
crates.io · PyPI
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Apache-2.02026年7月21日 · 指标 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.
MIT2026年7月21日 · 指标 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.
MIT2026年7月26日 · 指标 2.10.0
npm
owen-lacey/cpsat-js
该仓库未发布描述。
MIT2026年9月5日 · 指标 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.02026年8月1日 · 指标 2.10.0
—
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
MIT2026年8月17日 · 指标 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.02026年8月1日 · 指标 2.10.0
crates.io · PyPI
eee555/ms-toollib
Algorithms for minesweeper, published on various platforms.
MIT2026年7月27日 · 指标 2.10.0
PyPI
lava-nc/lava-optimization
Neuromorphic mathematical optimization with Lava
BSD-3-Clause2026年9月5日 · 指标 2.10.0