1. PySAT: A Python Toolkit for Prototyping with SAT Oracles
2. Yosys manual, Wolf, Clifford
3. Hagberg, Aric A. and Schult, Daniel A. and Swart, Pieter J., Exploring Network Structure, Dynamics, and Function using NetworkX, Proceedings of the 7th Python in Science Conference (SciPy2008), 11 - 15, Pasadena, CA USA, 2008, Varoquaux, Gaël and Vaught, Travis and Millman, Jarrod