Cabal dependency solver powered by Minisat