solvers/flattening # boolbv_width.h and pointer_logic.h
solvers/floatbv
solvers/prop
solvers/sat
solvers/smt2
util
