GitHub topics: timeline-based-planning
Xhst/tiago_roxanne
CNR (National Research Council of Italy) internship project on timeline-based planning, using ROS (rospy) and the TIAGo robot on the Gazebo simulator.
Language: Python - Size: 158 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
ratioSolver/oRatio
oRatio is an Integrated Logic and Constraint based solver
Language: C++ - Size: 1.05 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 3 - Forks: 1
ratioSolver/PyRatio
Python API for the oRatio solver
Language: C++ - Size: 98.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
ratioSolver/RatiOS
A ROS2 package for interacting with oRatio
Language: C++ - Size: 48.8 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0