smt-solving topic

List smt-solving repositories

Stars

Forks

Watchers

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