Hackage :: [Package]

ecta

[ bsd3, library, program, unclassified ] [ Propose Tags ]
This version is deprecated.

Please see the README on GitHub at https://github.com/jkoppel/ecta#readme

[Skip to Readme]

Modules

[Last Documentation]

  • Application
    • Application.SAT
    • TermSearch
      • Application.TermSearch.Dataset
      • Application.TermSearch.Evaluation
      • Application.TermSearch.TermSearch
      • Application.TermSearch.Type
      • Application.TermSearch.Utils
  • Data
    • Data.ECTA
      • Internal
        • 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
    • HashTable
      • Data.HashTable.Extended
    • Interned
      • Extended
        • Data.Interned.Extended.HashTableBased
        • Data.Interned.Extended.SingleThreaded
    • Data.Memoization
      • Data.Memoization.Metrics
    • Persistent
      • Data.Persistent.UnionFind
    • Text
      • Extended
        • Data.Text.Extended.Pretty
  • Utility
    • Utility.Fixpoint
    • Utility.HashJoin

Flags

Manual Flags

NameDescriptionDefault
profile-cachesDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.0.0.0, 1.0.0.1, 1.0.0.2, 1.0.0.3 (info)
Change log ChangeLog.md
Dependencies array, base (>=4.13 && <5), cmdargs, containers, ecta, equivalence, extra, fgl, hashable, hashtables, ilist, intern, language-dot (==0.1.1), lens, mtl, pipes, pretty-simple, raw-strings-qq, text, time, unordered-containers, vector, vector-instances [details]
License BSD-3-Clause
Copyright 2021 Jimmy Koppel
Author Jimmy Koppel
Maintainer darmanithird@gmail.com
Home page https://github.com/jkoppel/ecta#readme
Bug tracker https://github.com/jkoppel/ecta/issues
Source repo head: git clone https://github.com/jkoppel/ecta
Uploaded by zhg at 2022-07-22T23:00:23Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hectare
Downloads 212 total (13 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2022-07-23 [all 2 reports]

Readme for ecta-1.0.0.1

[back to package description]

ecta: A library for Equality-Constrained Tree Automata