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

Directory listing for tptp-0.1.1.0 source tarball

tptp-0.1.1.0/

• CHANGELOG.md
• LICENSE
• Setup.hs
• tptp.cabal
• src/
  • Data/
    • TPTP.hs
    • TPTP/
      • Pretty.hs
      • Parse/
        • Combinators.hs
        • Text.hs
        • Text/
          • Lazy.hs
• test/
  • UnitTests.hs
  • DocTests/
    • Main.hs
  • QuickCheckSpec/
    • Generators.hs
    • Main.hs
    • Normalizers.hs
• test-data/
  • szs/
    • fof/
      • AGT004+2---Metis---2.4.THM-CRf.original.s
      • ALG043+1---Vampire---4.3.THM-Ref.original.s
    • tff/
      • AGT004+2---Z3---4.4.1.THM-Prf.original.s
      • ALG039+1---Z3---4.4.1.THM-Prf.original.s
  • tptp/
    • cnf/
      • ALG001-0.ax
      • ANA001-0.ax
      • ANA002-0.ax
      • ANA003-0.ax
      • BOO001-0.ax
      • BOO002-0.ax
      • BOO003-0.ax
      • BOO004-0.ax
      • CAT001-0.ax
      • CAT002-0.ax
      • CAT003-0.ax
      • CAT004-0.ax
      • COL001-0.ax
      • COL002-0.ax
      • COL002-1.ax
      • FLD001-0.ax
      • FLD002-0.ax
      • GEO001-0.ax
      • GEO001-1.ax
      • GEO002-0.ax
      • GEO002-1.ax
      • GEO002-2.ax
      • GEO002-3.ax
      • GEO003-0.ax
      • GEO004-0.ax
      • GEO004-1.ax
      • GEO004-2.ax
      • GEO004-3.ax
      • GEO005-0.ax
      • GRP001-0.ax
      • GRP002-0.ax
      • GRP003-0.ax
      • GRP003-1.ax
      • GRP003-2.ax
      • GRP004-0.ax
      • GRP004-1.ax
      • GRP004-2.ax
      • GRP005-0.ax
      • GRP006-0.ax
      • GRP008-0.ax
      • GRP008-1.ax
      • HEN001-0.ax
      • HEN002-0.ax
      • HEN003-0.ax
      • HWC001-0.ax
      • HWC002-0.ax
      • HWV001-0.ax
      • HWV001-1.ax
      • HWV001-2.ax
      • HWV002-0.ax
      • HWV002-1.ax
      • HWV002-2.ax
      • HWV003-0.ax
      • HWV004-0.ax
      • LAT001-0.ax
      • LAT001-1.ax
      • LAT001-2.ax
      • LAT001-3.ax
      • LAT001-4.ax
      • LAT002-0.ax
      • LAT003-0.ax
      • LAT004-0.ax
      • LAT005-0.ax
      • LAT006-0.ax
      • LAT006-1.ax
      • LAT006-2.ax
      • LCL001-0.ax
      • LCL001-1.ax
      • LCL001-2.ax
      • LCL002-0.ax
      • LCL002-1.ax
      • LCL003-0.ax
      • LCL004-0.ax
      • LCL004-1.ax
      • LCL004-2.ax
      • LCL005-0.ax
      • LDA001-0.ax
      • MGT001-0.ax
      • MSC001-0.ax
      • MSC001-1.ax
      • MSC001-2.ax
      • NUM001-0.ax
      • NUM001-1.ax
      • NUM001-2.ax
      • NUM002-0.ax
      • NUM003-0.ax
      • NUM004-0.ax
      • PLA001-0.ax
      • PLA001-1.ax
      • PUZ001-0.ax
      • PUZ002-0.ax
      • PUZ003-0.ax
      • PUZ004-0.ax
      • PUZ005-0.ax
      • REL001-0.ax
      • REL001-1.ax
      • RNG001-0.ax
      • RNG002-0.ax
      • RNG003-0.ax
      • RNG004-0.ax
      • RNG005-0.ax
      • ROB001-0.ax
      • ROB001-1.ax
      • SET001-0.ax
      • SET001-1.ax
      • SET001-2.ax
      • SET001-3.ax
      • SET002-0.ax
      • SET003-0.ax
      • SET004-0.ax
      • SET004-1.ax
      • SWC001-0.ax
      • SWV001-0.ax
      • SWV002-0.ax
      • SWV004-0.ax
      • SWV005-0.ax
      • SWV005-1.ax
      • SWV005-2.ax
      • SWV005-3.ax
      • SWV005-4.ax
      • SWV005-5.ax
      • SWV005-6.ax
      • SWV005-7.ax
      • SWV006-0.ax
      • SWV006-1.ax
      • SWV006-2.ax
      • SWV006-3.ax
      • SWV013-0.ax
      • SYN000-0.ax
      • SYN000-1.p
      • SYN001-0.ax
      • TOP001-0.ax
    • fof/
      • AGT001+0.ax
      • AGT001+1.ax
      • AGT001+2.ax
      • ALG002+0.ax
      • COM001+0.ax
      • COM001+1.ax
      • CSR001+0.ax
      • CSR001+1.ax
      • CSR001+2.ax
      • CSR001+3.ax
      • CSR003+3.ax
      • CSR004+0.ax
      • GEO004+0.ax
      • GEO004+1.ax
      • GEO004+2.ax
      • GEO004+3.ax
      • GEO006+0.ax
      • GEO006+1.ax
      • GEO006+2.ax
      • GEO006+3.ax
      • GEO006+4.ax
      • GEO006+5.ax
      • GEO006+6.ax
      • GEO007+0.ax
      • GEO007+1.ax
      • GEO008+0.ax
      • GEO009+0.ax
      • GEO010+1.ax
      • GEO011+0.ax
      • GRA001+0.ax
      • GRP003+0.ax
      • GRP004+0.ax
      • GRP007+0.ax
      • HAL001+0.ax
      • KLE001+0.ax
      • KLE001+1.ax
      • KLE001+2.ax
      • KLE001+3.ax
      • KLE001+4.ax
      • KLE001+5.ax
      • KLE001+6.ax
      • KLE001+7.ax
      • KLE002+0.ax
      • KLE003+0.ax
      • KLE004+0.ax
      • KRS001+0.ax
      • KRS001+1.ax
      • LCL006+0.ax
      • LCL006+1.ax
      • LCL006+2.ax
      • LCL006+3.ax
      • LCL006+4.ax
      • LCL006+5.ax
      • LCL007+0.ax
      • LCL007+1.ax
      • LCL007+2.ax
      • LCL007+3.ax
      • LCL007+4.ax
      • LCL007+5.ax
      • LCL007+6.ax
      • MED001+0.ax
      • MED001+1.ax
      • MGT001+0.ax
      • NUM005+0.ax
      • NUM005+1.ax
      • NUM005+2.ax
      • PLA002+0.ax
      • PRD001+0.ax
      • PUZ005+0.ax
      • PUZ006+0.ax
      • REL001+0.ax
      • REL001+1.ax
      • SET005+0.ax
      • SET006+0.ax
      • SET006+1.ax
      • SET006+2.ax
      • SET006+3.ax
      • SET006+4.ax
      • SWB001+0.ax
      • SWB002+0.ax
      • SWB003+0.ax
      • SWB003+1.ax
      • SWC001+0.ax
      • SWV003+0.ax
      • SWV007+0.ax
      • SWV007+1.ax
      • SWV007+2.ax
      • SWV007+3.ax
      • SWV007+4.ax
      • SWV009+0.ax
      • SWV011+0.ax
      • SWV012+0.ax
      • SWV376+1.p
      • SYN000+0.ax
      • SYN000+1.p
      • SYN002+0.ax
    • tff/
      • COM110_5.p
      • DAT001=0.ax
      • DAT002=0.ax
      • DAT002=1.ax
      • DAT003=0.ax
      • DAT004=0.ax
      • DAT005=0.ax
      • DAT006=0.ax
      • LCL842_5.p
      • NUN015_5.p
      • PUZ139_1.p
      • SYN000_0.ax
      • SYN000_1.p
  • tstp/
    • cnf/
      • AGT004+2---SNARK---20120808r022.THM-Ref.s
      • AGT004+2---SPASS---3.9.THM-Ref.s
      • ALG028+1---SPASS---3.9.THM-Ref.s
    • fof/
      • AGT004+2---Metis---2.4.THM-CRf.s
      • AGT006+1---Vampire---SAT-4.3.THM-Ref.s
      • ALG022+1---Metis---2.3.THM-CRf.s
      • ALG022+1---SInE---0.4.THM-CRf.s
      • ALG028+1---iProverMo---2.5-0.1.THM-CRf.s
      • ALG043+1---Vampire---4.3.THM-Ref.s
      • ALG107+1---iProver---2.8.THM-CRf.s
    • tff/
      • AGT004+2---Z3---4.4.1.THM-Prf.s
      • ALG039+1---Z3---4.4.1.THM-Prf.s