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 Dec 31, 2024 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++
Xhst / tiago_roxanne Star 1 Code Issues Pull requests CNR (National Research Council of Italy) internship project on timeline-based planning, using ROS (rospy) and the TIAGo robot on the Gazebo simulator. python ros rospy automated-planning gazebo-simulator temporal-planning tiago-robot roxanne timeline-based-planning Updated Mar 31, 2024 Python
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++