Skip to main content

Module smtlib

logicaffeine_verify

Module smtlib 

Source
Expand description

SMT-LIB2 Export

Export VerifyExpr to standard SMT-LIB2 format readable by Z3, CVC5, Yices, etc.

Functionsยง

equivalence_to_smtlib2
Export an equivalence check to SMT-LIB2 format.
to_smtlib2
Export a VerifyExpr to SMT-LIB2 format.