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/R-O-C-K-E-T/Factorio-SAT 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/R-O-C-K-E-T/Factorio-SAT is a good alternative to SMPT