imandra-ai / abstract-transition-systems Goto Github PK
View Code? Open in Web Editor NEW[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
Home Page: https://docs.imandra.ai/abstract-transition-systems/ats_web.html