Giters
jkoppel
/
ecta
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
22
Watchers:
6
Issues:
1
Forks:
2
ecta: A library for Equality-Constrained Tree Automata
About
License:
BSD 3-Clause "New" or "Revised" License
Languages
Language:
Haskell
89.2%
Language:
Python
10.8%