Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.