@hackage / yices-easy

Simple interface to the Yices SMT (SAT modulo theories) solver.