blif
Generator of arithmetic circuits (multipliers, adders) and approximate circuits
A simple BLIF (berkeley logic interchange format) parser
A Python wrapper for SIS
The modern shell for SIS (the circuit simulator and optimizer)
Generate graphs from BLIF files
