/SMT_term_rewriting

Working towards typed, first-order unification modulo a set of equational axioms

Primary LanguageC++MIT LicenseMIT

This repository is not active