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

Directory listing for logic-classes-0.48 source tarball

logic-classes-0.48/

• Setup.hs
• logic-classes.cabal
• Data/
  • Logic.hs
  • Logic/
    • KnowledgeBase.hs
    • Resolution.hs
    • Satisfiable.hs
    • Test.hs
    • Classes/
      • Arity.hs
      • Boolean.hs
      • ClauseNormalForm.hs
      • FirstOrder.hs
      • Literal.hs
      • Logic.hs
      • Negatable.hs
      • Pred.hs
      • Propositional.hs
      • Skolem.hs
      • Term.hs
      • Variable.hs
    • Instances/
      • Chiou.hs
      • PropLogic.hs
      • SatSolver.hs
    • Normal/
      • Clause.hs
      • Implicative.hs
      • Negation.hs
      • Prenex.hs
      • Skolem.hs
    • Types/
      • FirstOrder.hs
      • FirstOrderPublic.hs
      • Propositional.hs
• Test/
  • Chiou0.hs
  • Data.hs
  • Logic.hs
  • TPTP.hs
  • Test.hs