#compute #abstraction #table #constraint #dag #operator #tagada

yanked tagada_abtractor

Compute table constraint for the abstraction of a Tagada Dag

0.1.0 Apr 15, 2021

#34 in #constraint

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.5–6.5MB
~121K SLoC