cprover

smt1 → prop Relation

File in solvers/smt1Includes file in solvers/prop
smt1_conv.hprop_conv.h
smt1_prop.hprop.h