v4.0.0

SMPT version of the paper "Property Directed Reachability for Generalized Petri Nets".

Full Changelog: v3.0.0...v4.0.0

v3.0.0

SMPT version of the MCC2021 participation.

Full Changelog: v2.0.0...v3.0.0

v2.0.0

SMPT version of the paper " On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets".

Full Changelog: v1.0.0...v2.0.0

v1.0.0

First version of the SMPT model-checker.

Full Changelog: https://github.com/nicolasAmat/SMPT/commits/v1.0.0