msat

Signature for pure SAT solvers

module Formula : FORMULA

formulas

type proof