Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for ecta-1.0.0.1 source tarball
ecta-1.0.0.1/
ChangeLog.md
LICENSE
README.md
Setup.hs
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