fix compilation error of SAT module on GHC 7.8
require logic-TPTP >=0.4.1 because logic-TPTP-0.4.0.0 did not work with transformers >=0.4.0 nor GHC-7.8