haruming / concloalg Goto Github PK
View Code? Open in Web Editor NEWThis project forked from bmeu/concloalg
A simple implementation of the Congruence Closure Algorithm used to decide the satisfiablity of formulas in the quantifier-free theory of equality.
License: GNU General Public License v2.0