initial commit for SetupStorage::Solver