solver

Sort: popular | newest
A Symbol Solver for Java, built on top of JavaParser (core)
Last Release on Apr 4, 2024
OptaPlanner solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning. Aggregate dependency to bring in optaplanner-core and all the score directors.
Last Release on Sep 6, 2023
Solver for ConstraintLayout
Last Release on Oct 29, 2020
Open-source constraint solver.
Last Release on Nov 2, 2023
Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning. This module contains the planning engine itself.
Last Release on Mar 26, 2024
Solver subproject in the Theta model checking framework
Last Release on Mar 25, 2024
Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning. This module contains the planning engine itself.
Last Release on Apr 9, 2024
Solve planning and scheduling with AI constraint optimization of vehicle routes, employee rosters, maintenance, tasks, lessons, conferences, ...
Last Release on Apr 9, 2024
Solver Z3 subproject in the Theta model checking framework
Last Release on Mar 25, 2024