Haskell's build tool Cabal also uses a solver that produces a concrete build solution that takes into account dependency bounds. It uses slightly different rul

Haskell's build tool Cabal also uses a solver that produces a concrete build solution that takes into account dependency bounds. It uses slightly different rules for the solver than what vgo uses.