cprover

cvc → ansi-c Relation

File in solvers/cvcIncludes file in ansi-c
cvc_conv.cppstring_constant.h