at.logic.gapt.formats.veriT
Takes a sequent and generates the SMT-LIB benchmark as a string.
Sequent to export.
SMT-LIB benchmark.