crunchSolvers            :: [Solver] -> [HAtom] -> ([Solver], SolveResult) 
crunchSolvers solvers as = (solvers', mconcat result) 
  where 
    (solvers', results)  = unzip $ map (`crunchSolver` as) solvers 
crunchSolvers            :: [Solver] -> [HAtom] -> ([Solver], SolveResult)
crunchSolvers solvers as = (solvers', mconcat result) 
  where 
    (solvers', results)  = unzip $ map (`crunchSolver` as) solvers 
crunchSolvers solvers as = (solvers', mconcat result) 
  where 
    (solvers', results)  = unzip $ map (`crunchSolver` as) solvers 