gapt.provers.smtlib.SmtlibSession.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.provers.smtlib
import java.io.{BufferedReader, InputStreamReader, PrintWriter}
import java.lang.ProcessBuilder.Redirect
import gapt.expr._
import gapt.formats.StringInputFile
import gapt.formats.lisp._
import scala.collection.mutable
object ExternalSmtlibProgram {
class UnexpectedTerminationException(input: SExpression)
extends Exception(s"SMT solver terminated unexpectedly on $input")
}