Propositional logic planning library for Haskell