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.