package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Formula.To_smtlib

Translation functions from BINSEC inner representation to SMT-LIB terms

val bl_term : Formula.bl_term -> Binsec_smtlib__.Smtlib.term
val bv_term : Formula.bv_term -> Binsec_smtlib__.Smtlib.term
val ax_term : Formula.ax_term -> Binsec_smtlib__.Smtlib.term
val term : Formula.term -> Binsec_smtlib__.Smtlib.term
val entry : Formula.entry -> Binsec_smtlib__.Smtlib.command
val formula : theory:string -> Formula.formula -> Binsec_smtlib__.Smtlib.script