module CudfSolver:sig
..end
exception Error of string
exception Unsat
val execsolver : string -> string -> Cudf.cudf -> Cudf.preamble option * Cudf.universe
execsolver
execute an external cudf solver.
exec_pat : execution string
criteria : optimization criteria
cudf : a cudf document (preamble, universe, request)
raise UnSat or Error