cprover

smt2 → ansi-c Relation

File in solvers/smt2Includes file in ansi-c
smt2_conv.cppstring_constant.h