SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Why do you think that https://github.com/jmplonka/InventorLoader is a good alternative to SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Why do you think that https://github.com/jmplonka/InventorLoader is a good alternative to SMPT