GitHub repository: nicolasAmat/SMPT
Primary language: Python
Description: SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).