Module SMTLIBSolver

An interface to any SMT solver that accepts the SMTLIB2 command language

exception Died of string

Raised by a command to a solver whose process is gone, when the command fails on it: on a reply cut short or a closed pipe. The message says how the process ended.

val trace_suffix : string Stdlib.ref Stdlib.Domain.DLS.key
module type SMTLIBSolverDriver = sig ... end