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

Directory listing for logic-classes-1.7 source tarball

logic-classes-1.7/

• COPYING
• Setup.hs
• changelog
• logic-classes.cabal
• Data/
  • Boolean.hs
  • Logic.hs
  • Boolean/
    • SatSolver.hs
  • Logic/
    • KnowledgeBase.hs
    • Resolution.hs
    • Satisfiable.hs
    • Classes/
      • Atom.hs
      • ClauseNormalForm.hs
    • Harrison/
      • Formulas/
        • FirstOrder.hs
        • Propositional.hs
    • Instances/
      • Chiou.hs
      • PropLogic.hs
      • SatSolver.hs
      • Test.hs
    • Normal/
      • Clause.hs
      • Implicative.hs
    • Types/
      • FirstOrder.hs
      • FirstOrderPublic.hs
• Tests/
  • Main.hs