cprover

flattening → ansi-c Relation

File in solvers/flatteningIncludes file in ansi-c
boolbv.cppstring_constant.h