/fraig

Functionally Reduced And-Inverter Graph, the final project of DSnP in 2017.

Primary LanguageC++

fraig