SDC This repo has various python modules built to optimize boolean functions implemented as part of the course "Synthesis and Optimization of Digital Circuits".