Module Smt.MakeHorn
Parameters
module S : Smtbackend.Smtlib_sig.UNTYPED_MUZSignature
val translate :
Operator.Function_symbol.boolean T.t ->
Smtbackend.Smtlib_sig.satSmt.MakeHorn
module S : Smtbackend.Smtlib_sig.UNTYPED_MUZval translate :
Operator.Function_symbol.boolean T.t ->
Smtbackend.Smtlib_sig.sat