Skip to main content

equivalence_to_smtlib2

logicaffeine_verify::smtlib

Function equivalence_to_smtlib2 

Source 
pub fn equivalence_to_smtlib2(a: &VerifyExpr, b: &VerifyExpr) -> String
Expand description

Export an equivalence check to SMT-LIB2 format.