htaut (hackage): Haskell integrated Tautology prover
Keywords: bsd3|library|theorem-provers