caf.{hpp,cpp} -> CAF.{hpp,cpp}
data_struct -> Solver