@hackage / yices-painless

An embedded language for programming the Yices SMT solver