solver
Sort by:Popular▼

(Preview) Timefold Solver Enterprise Edition Service Quarkus Extension: Runtime
Last Release on Oct 7, 2026
(Preview) Timefold Solver Enterprise Edition Service Worker
Last Release on Oct 7, 2026
Graph Solver subproject in the Theta model checking framework
Last Release on Nov 1, 2026
Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.
Last Release on Mar 26, 2024
GreyCOS solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.
Last Release on Oct 24, 2026
GreyCOS solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.
Last Release on Oct 24, 2026
Nabl2 Solver
Last Release on Apr 28, 2025
Statix Solver
Last Release on Apr 28, 2025
Provide parsers from FlatZinc, XCSP3 and MSP to Choco-solver.
Last Release on Oct 7, 2026
Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.
Last Release on Oct 16, 2026