ecta

[ bsd3, library, program, unclassified ] [ Propose Tags ]
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 (>=0.4.1), 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-27T00:35:54Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hectare
Downloads 226 total (7 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-07-27 [all 1 reports]

Readme for ecta-1.0.0.3

[back to package description]

ecta: A library for Equality-Constrained Tree Automata