boolean-circuits
Tools for working with circuits as graphs in python
Perform gate-level simulations from python