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

Directory listing for ecta-1.0.0.2 source tarball

ecta-1.0.0.2/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• cabal.project
• ecta.cabal
• app/
  • Main.hs
• benchmarks/
  • Benchmarks.hs
  • TestData.hs
• src/
  • Application/
    • SAT.hs
    • TermSearch/
      • Dataset.hs
      • Evaluation.hs
      • TermSearch.hs
      • Type.hs
      • Utils.hs
  • Data/
    • ECTA.hs
    • Memoization.hs
    • ECTA/
      • Paths.hs
      • Term.hs
      • Internal/
        • Paths.hs
        • Term.hs
        • ECTA/
          • Enumeration.hs
          • Operations.hs
          • Type.hs
          • Visualization.hs
        • Paths/
          • Zipper.hs
    • HashTable/
      • Extended.hs
    • Interned/
      • Extended/
        • HashTableBased.hs
        • SingleThreaded.hs
    • Memoization/
      • Metrics.hs
    • Persistent/
      • UnionFind.hs
    • Text/
      • Extended/
        • Pretty.hs
  • Utility/
    • Fixpoint.hs
    • HashJoin.hs
• test/
  • CacheProfilingSpec.hs
  • ECTASpec.hs
  • PathsSpec.hs
  • SATSpec.hs
  • Spec.hs
  • Data/
    • Persistent/
      • UnionFindSpec.hs
  • Test/
    • Generators/
      • ECTA.hs
  • Utility/
    • HashJoinSpec.hs