cprover

smt2 → prop Relation

File in solvers/smt2Includes file in solvers/prop
smt2_conv.hprop_conv.h
smt2_prop.hprop.h