blif
A simple BLIF (berkeley logic interchange format) parser
Arithmetic circuits generator to Verilog, BLIF, C etc.
SIS (circuit simulator and optimizer) wrapper for Python
The modern shell for SIS (the circuit simulator and optimizer)
Generate graphs from BLIF files
