Todas las etiquetas
Etiqueta del catálogo

#solver

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

10 registros
Con la etiqueta «solver»Ordenado por índice de salud
PyPI
81Buenoíndice de salud
coin-or/pulp
A python Linear Programming API
Python · Rust★ 2465↓ 6M/mes21 jul 2026
Licencia propia21 jul 2026 · métricas 1.13.0
Maven
77Buenoíndice de salud
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★ 171616 jul 2026
Apache-2.016 jul 2026 · métricas 1.13.0
Maven
69Moderadoíndice de salud
chocoteam/choco-solver
An open-source Java library for Constraint Programming
Java★ 77118 jul 2026
BSD-3-Clause18 jul 2026 · métricas 1.13.0
crates.io
68Moderadoíndice de salud
martinjrobins/diffsol
ODE solver library in Rust
Rust★ 129↓ 0/mes14 jul 2026
MIT14 jul 2026 · métricas 1.13.0
crates.io · npm · PyPI
63Moderadoíndice de salud
jolars/basin
Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.
Rust★ 107↓ 4473/mes21 jul 2026
Apache-2.021 jul 2026 · métricas 1.13.0
crates.io · npm · PyPI
61Moderadoíndice de salud
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↓ 9818/mes19 jul 2026
Apache-2.019 jul 2026 · métricas 1.13.0
crates.io · PyPI
52Moderadoíndice de salud
oxfordcontrol/Clarabel.rs
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Rust★ 578↓ 185.7K/mes21 jul 2026
Apache-2.021 jul 2026 · métricas 1.13.0
Go
51Moderadoíndice de salud
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★ 6220 jul 2026
MIT20 jul 2026 · métricas 1.13.0
npm
51Moderadoíndice de salud
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/mes21 jul 2026
MIT21 jul 2026 · métricas 1.13.0
PyPI
18Críticoíndice de salud
lava-nc/lava-optimization
Neuromorphic mathematical optimization with Lava
Jupyter Notebook · Python★ 67↓ 35/mes14 jul 2026
BSD-3-Clause14 jul 2026 · métricas 1.13.0