Full threadbagofx·This Python library has PicoSAT SAT solver integration, and parses DIMACS files:https://github.com/cjdrake/pyedaView on HN