cprover

flattening → lowering Relation

File in solvers/flatteningIncludes file in solvers/lowering
boolbv.cppexpr_lowering.h