src/solver/solver_error.hh