Explore projects

Diades is a collection of academic tools that deal with the problem of discrete event systems.

Set of robot URDFs for benchmarking and developed examples.

Git mirror of the official Crocoddyl's repository -- PULL REQUEST MUST BE SENT TO: https://github.com/loco-3d/crocoddyl

This submodule contains file to manipulate propositional logic based on BDDs