Coral Lab Robotics Library

Provide a common API to many useful robotics libraries.

Supported Backends

1. Pybullet
2. Curobo
3. Drake
4. torch-robotics

Problem Types

1. Motion Planning Problem
2. Motion Planning Problem with Dynamic Obstacles
3. Pebble Motion Problem
4. Dynamic Pebble Motion Problem
5. Inverse Kinematics

Misc

1. Signal Temporal Logic Expressions
   1. Differentiable
   2. Encodable in Linear-Constraint-Formulae