Version 1.0.0.0-1 of ecta is deprecated.
The latest version of ecta is 1.0.0.3-0.
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.5.4.0 && <0.6
- base lib:base >=4.4 && <4.15
- cmdargs lib:cmdargs >=0.10.21 && <0.11
- containers lib:containers >=0.6.5.1 && <0.7
- equivalence lib:equivalence >=0.3.5 && <0.4
- extra lib:extra >=1.7.9 && <1.8
- fgl lib:fgl >=5.7.0.3 && <5.8
- hashable lib:hashable >=1.3.0.0 && <1.4
- hashtables lib:hashtables >=1.2.4.2 && <1.3
- ilist lib:ilist >=0.4.0.1 && <0.5
- intern lib:intern >=0.9.4 && <0.10
- language-dot lib:language-dot >=0.1.1 && <0.2
- lens lib:lens >=4.19.2 && <4.20
- mtl lib:mtl >=2.2.2 && <2.3
- pipes lib:pipes >=4.3.16 && <4.4
- pretty-simple lib:pretty-simple >=4.0.0.0 && <4.1
- raw-strings-qq lib:raw-strings-qq >=1.1 && <1.2
- text lib:text >=1.2.4.1 && <1.3
- time lib:time >=1.9.3 && <1.10
- unordered-containers lib:unordered-containers >=0.2.16.0 && <0.3
- vector lib:vector >=0.12.3.1 && <0.13
- vector-instances lib:vector-instances >=3.4 && <3.5
Reverse dependencies
Direct only. Not exhaustive.
- ecta bench:mainbench
- ecta exe:hectare
- ecta test:unit-tests
- ecta-plugin lib:ecta-plugin