[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration - View it on GitHub