Convert LTL formulas into finite-state automata for monitoring
Primary LanguageOCamlGNU General Public License v2.0GPL-2.0