refinement → flattening Relation

File in src/solvers/refinement	Includes file in src/solvers/flattening
bv_refinement.h	bv_pointers.h