Available Tools

TELS/MALS, Logic synthesis tools for threshold and majority logic synthesis
sis-tels-mals-1.2.tar.gz

RMRLS, Reversible logic synthesis
relos0.2.tar.gz

TGE, Task graph extractor
tge_zip.tgz