A project to host binary artifacts for GreatSPN : a model-checker and analysis tool for Petri nets and their stochastic and symmetric (a.k.a. well-formed) extensions.
This project builds binaries for linux, Windows and OSX using public providers : travis-ci and Appveyor. These binary targets are provided for convenience, in the hope that they may prove useful.
The resulting binaries can be downloaded from this page : Binary builds
More details :
This project uses the latest code from the GreatSPN repository.
Authors (as credited on GreatSPN homepage) : G. Chiola, R. Gaeta, A. Horvath, M. De Pierro, M. Beccuti, S. Baarir, D. Cerotti, Elvio Amparore, et al.
It also uses the latest code for Meddly by Andrew S. Miner et al.
We also package versions of lpsolve 5.5.2.5.
Packaging : Yann Thierry-Mieg