ecta: A library for Equality-Constrained Tree Automata

Name		Name	Last commit message	Last commit date
Latest commit History 124 Commits
app		app
benchmarks		benchmarks
scripts		scripts
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
ecta.cabal		ecta.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Navigation Menu