sig
  exception Error of string
  exception Unsat
  val execsolver :
    string -> string -> Cudf.cudf -> Cudf.preamble option * Cudf.universe
end