FRDCSA
Minor
Internal
External
Git
Packages
timbuk3.2-20181124
Jump To:
Parent Description
Timbuk is a tool designed to compute or over-approximate sets of terms reachable by a given term rewriting
system
.
The libray also provides an OCaml toplevel with
all
usual functions on Bottom-up Nondeterministic Tree Automata.