cprover

smt1 → ansi-c Relation

File in solvers/smt1Includes file in ansi-c
smt1_conv.cppstring_constant.h