Octant is a quantifier eliminator for using Petri net reductions for model checking reachability properties. (It is also the first known polyhedral map projection [Wikipedia].)
This project was initially developed inside TiPX, a Petri net explorer.
You should be able to download the latest build from the "linux" branch on this repository.
WIP
The code repository includes OCaml libraries developed by Didier Le Botlan (outside this project) located inside folder lib/.
This software is distributed under the GPLv3 license.
- Nicolas Amat - LAAS/CNRS
- Didier Le Botlan - LAAS/CNRS