Module External

module External: sig .. end

mSAT safe interface

This module defines a safe interface for the core solver. It is the basis of the Solver and Mcsolver modules.

module type S = Solver_intf.S

Safe external interface of solvers.

module Make: functor (St : Solver_types.S) -> functor (Th : Plugin_intf.S  with type term = St.term
                         and type formula = St.formula
                         and type proof = St.proof) -> functor (Dummy : sig
end) -> S  with module St = St

Functor to make a safe external interface.