oRatio is an Integrated Logic and Constraint based solver
constraint-programming
logic-programming
automated-planning
constraint-logic-programming
timeline-based-planning
-
Updated
Oct 7, 2024 - C++