OTAWA-plugins

A collection of plugins for OTAWA v2 (http://www.otawa.fr/)