Removed Data.Logic.Propositional dependency after API change.
Removed the dependency from cabal file.