solver

Sort by:Popular▼

✓Popular✓Newest

Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.

Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.

Solver Smtlib subproject in the Theta model checking framework

Solver Z3 subproject in the Theta model checking framework

Solver Z3 Legacy subproject in the Theta model checking framework

(Preview) Timefold Solver Service Maps Service Integration

This module contains REST API interface for models based on Timefold Solver. This module is in a preview state and thus is a subject to changes.

Solve planning and scheduling with AI constraint optimization of vehicle routes, employee rosters, maintenance, tasks, lessons, conferences, ...

Timefold solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning.

Activate Jackson bindings for Timefold's Score classes