add SolverBase.h, get checkstile errors