packages feed

ecta-1.0.0.0: README.md

# ecta: A library for Equality-Constrained Tree Automata