Last released Apr 25, 2023
An AI constraint solver that optimizes planning and scheduling problems
Supported by