#operator #base

yanked tagada_abtractor

Compute table constraint for the abstraction of a Tagada Dag

0.1.0 Apr 15, 2021

GPL-2.0-or-later

94KB
1.5K SLoC

Tagada-Abstractor

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

Dependencies

~4–6MB
~118K SLoC