solvers/cvc
solvers/flattening # pointer_logic.h
solvers/prop
util
