An automated solver for unsorted first-order logic over the AUFLIA theory. - View it on GitHub