Programy według equiitg.sf.net

Jest to formalne narzędzie do sprawdzania równoważności opracowane przez IIT Guwahati, które może być wykorzystane do weryfikacji równoważności funkcjonalnej między obwodami (kombinowanymi i sekwencyjnymi) formatów BLIF, veri