Modal formulas
=============================

The modal formulas library contains classes and algorithms to represent and manipulate modal 
formulas using the modal mu-calculus with data and time. The code
in this library is contained in the namespaces action_formulas, state_formulas and regular 
formulas.