This repository is not active
kris-brown/SMT_term_rewriting
Working towards typed, first-order unification modulo a set of equational axioms
C++MIT
Working towards typed, first-order unification modulo a set of equational axioms
C++MIT
This repository is not active