Tagada-Abstractor

Rust program to compute the table constraint of the abstraction of a Tagada operator.