Simplify
February 17, 2013 ยท View on GitHub
Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.
February 17, 2013 ยท View on GitHub
Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.