python-sat
pyverilog
networkx
