/SMPT

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

No issues in this repository yet.