Fix cabal file

twophase now checks solvability