| Tag: term-rewriting 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: tree-processing symbolic-computation compiler-tools developer-tools | ||
| Package | Description | Version |
|---|---|---|
| kimwitu++ ☆ formula | Tool for processing trees (i.e. terms) | |