Provide a common API to many useful robotics libraries.

1. Pybullet
2. Curobo
3. Drake
4. Torch-Robotics
5. Robosuite
6. Gymnasium
7. Gymnasium-Robotics

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

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