Takes a sequent and generates the SMT-LIB benchmark as a file
Takes a sequent and generates the SMT-LIB benchmark as a file
Sequent to export.
Output file name.
File pointing to fileName.
Takes a sequent and generates the SMT-LIB benchmark as a string.
Takes a sequent and generates the SMT-LIB benchmark as a string.
SMT-LIB benchmark.