flattening → prop Relation

File in src/solvers/flattening	Includes file in src/solvers/prop
arrays.cpp	literal_expr.h
arrays.cpp	prop.h
boolbv_map.cpp	prop.h
boolbv_map.h	literal.h
bv_minimize.cpp	prop_minimize.h
bv_pointers.cpp	bdd_expr.h
bv_pointers.cpp	literal_expr.h
bv_utils.h	prop.h
equality.h	prop_conv_solver.h