updSolvers    :: [Solver] -> NO () 
updSolvers ss = modify $ \st -> st {solvers = ss }
updSolvers    :: [Solver] -> NO ()
updSolvers ss = modify $ \st -> st {solvers = ss }
updSolvers ss = modify $ \st -> st {solvers = ss }