Module Smtbackend.Smtlib

type counter_example = unit

type sat =

1. | Sat of counter_example
2. | Unsat
3. | Unknown

module type COMMON_S = sig ... end

module type TYPED_S = sig ... end

module type UNTYPED_S = sig ... end

module type UNTYPED_MUZ = sig ... end

module type PARAM_S = sig ... end

module Make_Typed (P : PARAM_S) : TYPED_S

module Make_Untyped (P : PARAM_S) : UNTYPED_S

module Make_Untyped_Muz (P : PARAM_S) : UNTYPED_MUZ

val with_z3 : ?executable:string -> ((module UNTYPED_MUZ) -> 'a) -> 'a