ratioSolver / oRatio Star 3 Code Issues Pull requests Discussions oRatio is an Integrated Logic and Constraint based solver constraint-programming logic-programming automated-planning constraint-logic-programming timeline-based-planning Updated Jan 4, 2025 C++
ratioSolver / PyRatio Star 1 Code Issues Pull requests Python API for the oRatio solver python constraint-programming logic-programming automated-planning constraint-logic-programming timeline-based-planning Updated Jun 19, 2023 C++
ratioSolver / RatiOS Star 0 Code Issues Pull requests A ROS2 package for interacting with oRatio robotics ros2 automated-planning timeline-based-planning Updated Nov 24, 2022 C++