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.

This module contains type definition for enterprise features. 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, ...

The API abstraction of a MILP solver that takes in a problem instance as specified using the lp-api model and solves the instance. Implementations of this API convert the model instance to ones for a specific solver, and abstract away as ...