solver

Sort by:Popular▼

✓Popular✓Newest

A Symbol Solver for Java, built on top of JavaParser (core)

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

Open-source constraint solver.

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

Solver subproject in the Theta model checking framework

This module contains basic type definitions. 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, ...

SMT solver Z3 for use in JavaSMT

GreyCOS 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.