GitHub repository: nicolasAmat/Octant
Primary language: OCaml
Description: Quantifier eliminator for using Petri net reductions for model checking reachability properties.