cprover

smt2 → prop Relation

File in solvers/smt2Includes file in solvers/prop
smt2_conv.cppliteral_expr.h
smt2_conv.hprop_conv.h