Up – Package index » binsec » Library binsec » Binsec » Formula_to_smtlib

Module `Binsec.Formula_to_smtlib`

Translation functions from BINSEC inner representation to SMT-LIB terms

val bl_term : Formula.bl_term -> Smtlib.term

val bv_term : Formula.bv_term -> Smtlib.term

val ax_term : Formula.ax_term -> Smtlib.term

val term : Formula.term -> Smtlib.term

val entry : Formula.entry -> Smtlib.command

val formula : Formula.formula -> Smtlib.script