[package]
name = "tree-automata"
version = "0.1.2"
authors = ["timothee.haudebourg@irisa.fr"]
edition = "2018"
categories = ["data-structures", "science"]
keywords = ["term", "automaton", "tree-automata", "tree"]
description = "Term Rewriting Systems"
repository = "https://github.com/regular-pv/tree-automata"
documentation = "https://docs.rs/tree-automata"
license = "MIT/Apache-2.0"
readme = "README.md"

[dependencies]
terms = "^0.1.2"
crossbeam-channel = "^0.4"