@hackage / EqualitySolver

A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality