Tool for processing trees and terms with pattern matching capabilities
Tool for processing trees (i.e. terms)
kimwitu++
$ kimwitu++ input.tree
$ kimwitu++ -c spec.k++ -o output.cpp
$ kimwitu++ --help