Dionysos

Dionysos implements a solver for the optimal control of cyber-physical systems.