Quantifier eliminator for using Petri net reductions for model checking reachability properties.
Primary LanguageOCamlGNU General Public License v3.0GPL-3.0