lib:ecta

Modules

• Application.SAT
• Application.TermSearch.Dataset
• Application.TermSearch.Evaluation
• Application.TermSearch.TermSearch
• Application.TermSearch.Type
• Application.TermSearch.Utils
• Data.ECTA
• Data.ECTA.Internal.ECTA.Enumeration
• Data.ECTA.Internal.ECTA.Operations
• Data.ECTA.Internal.ECTA.Type
• Data.ECTA.Internal.ECTA.Visualization
• Data.ECTA.Internal.Paths
• Data.ECTA.Internal.Paths.Zipper
• Data.ECTA.Internal.Term
• Data.ECTA.Paths
• Data.ECTA.Term
• Data.HashTable.Extended
• Data.Interned.Extended.HashTableBased
• Data.Interned.Extended.SingleThreaded
• Data.Memoization
• Data.Memoization.Metrics
• Data.Persistent.UnionFind
• Data.Text.Extended.Pretty
• Utility.Fixpoint
• Utility.HashJoin

Dependencies

• array lib:array >=0
• base lib:base >=4.13 && <5
• cmdargs lib:cmdargs >=0
• containers lib:containers >=0
• equivalence lib:equivalence >=0.4.1
• extra lib:extra >=0
• fgl lib:fgl >=0
• hashable lib:hashable >=0
• hashtables lib:hashtables >=0
• ilist lib:ilist >=0
• intern lib:intern >=0
• language-dot lib:language-dot ==0.1.1
• lens lib:lens >=0
• mtl lib:mtl >=0
• pipes lib:pipes >=0
• pretty-simple lib:pretty-simple >=0
• raw-strings-qq lib:raw-strings-qq >=0
• text lib:text >=0
• time lib:time >=0
• unordered-containers lib:unordered-containers >=0
• vector lib:vector >=0
• vector-instances lib:vector-instances >=0

Reverse dependencies

Direct only. Not exhaustive.

• ecta bench:mainbench
• ecta exe:hectare
• ecta test:unit-tests
• ecta-plugin lib:ecta-plugin