6 projects
OR-Tools
Google's Operations Research tools:
Contributors
2,813
Organizations
415
Software value
$34M
Timefold Solver
The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Contributors
410
Organizations
52
Software value
$37M
OptaPlanner
OptaPlanner is an open source AI constraint solver that optimizes planning and scheduling problems like vehicle routing, employee rostering, task assignment, and resource allocation. It combines optimization algorithms with rule engines to efficiently solve complex business problems.
Contributors
197
Organizations
22
Software value
$172M
SBV
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Contributors
188
Organizations
70
Software value
$1.4M
Kiwi
Kiwi is a constraint solving library for Python that enables efficient resolution of complex systems of constraints. It provides a declarative API for defining and solving constraint satisfaction problems.
Contributors
178
Organizations
78
Software value
$312K
SCIP Optimization Suite
SCIP - Solving Constraint Integer Programs
This project hasn't been onboarded to LFX Insights.