Adds Exception if Solver not existing