cprover

cvc → prop Relation

File in solvers/cvcIncludes file in solvers/prop
cvc_conv.hprop_conv.h
cvc_prop.hprop.h