@hackage / EqualitySolver

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

Latest0.1.0.2

Changelog

This release does not have a Changelog