hylolib-1.3.1: Tools for hybrid logics related programs
HyLo.Model.PrettyPrint
toDot :: (Show w, Show n, Show p, Show r, Ord w) => Model w n p r -> StringSource