Skip to main content

to_smtlib2

logicaffeine_verify::smtlib

Function to_smtlib2 

Source 
pub fn to_smtlib2(
    expr: &VerifyExpr,
    declarations: &[(&str, VerifyType)],
) -> String
Expand description

Export a VerifyExpr to SMT-LIB2 format.