reference implementation of several RRG algorithms for μ-Calculus formulae
Primary LanguageC++MIT LicenseMIT