constraint-programming — 开源软件健康

Maven

91优秀健康指数

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★ 1,7162026年7月16日

Apache-2.02026年7月16日 · 指标 2.10.0

Maven

81优秀健康指数

chocoteam/choco-solver

An open-source Java library for Constraint Programming

Java★ 7712026年7月18日

BSD-3-Clause2026年7月18日 · 指标 2.10.0

—

80优秀健康指数

scipopt/scip

SCIP - Solving Constraint Integer Programs

C · C++★ 6132026年7月17日

Apache-2.02026年7月17日 · 指标 2.10.0

npm

62中等健康指数

MiniZinc/minizinc-js

Use MiniZinc in the browser or with NodeJS

JavaScript★ 62↓ 16K/月2026年8月2日

MPL-2.02026年8月2日 · 指标 2.10.0

PyPI

56中等健康指数

fantashley/ruyfo-planner

Logistics planner for the RUYFO point-to-point bike event — computes the lowest-driving plan to get every person, bike, and car home. Python · FastAPI · OR-Tools CP-SAT.

Python · HTML★ 02026年7月17日

MIT2026年7月17日 · 指标 2.10.0

Hex

45薄弱健康指数

bokner/fixpoint

Constraint programming solver

Elixir★ 63↓ 2,164/月2026年7月25日

MIT2026年7月25日 · 指标 2.10.0

Hex

34存在风险健康指数

bokner/solverl

Erlang/Elixir interface to MiniZinc.