ReSMT

Project information

An implementation of compositional rewriting theory algorithms based upon the Microsoft Z3 SMT solver.

21 Commits
1 Branch
0 Tags

README
MIT License
GitLab Pages

Created on

June 23, 2020

Loading