imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
OCaml
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
OCaml