• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for atp-haskell-1.14.3 source tarball

atp-haskell-1.14.3/

• .ghci
• .travis.yml
• LICENSE.txt
• Setup.hs
• atp-haskell.cabal
• src/
  • Data/
    • Logic/
      • ATP.hs
      • ATP/
        • Apply.hs
        • DP.hs
        • DefCNF.hs
        • Equal.hs
        • Equate.hs
        • FOL.hs
        • Formulas.hs
        • Herbrand.hs
        • Lib.hs
        • Lit.hs
        • LitWrapper.hs
        • Meson.hs
        • Parser.hs
        • ParserTests.hs
        • Pretty.hs
        • Prolog.hs
        • Prop.hs
        • PropExamples.hs
        • Quantified.hs
        • Resolution.hs
        • Skolem.hs
        • Tableaux.hs
        • Term.hs
        • Unif.hs
• tests/
  • Extra.hs
  • Main.hs