4 ms·
This Python library has PicoSAT SAT solver integration, and parses DIMACS files: https://github.com/cjdrake/pyeda https://github.com/cjdrake/pyeda
by bagofx 12y ago
This Python library has PicoSAT SAT solver integration, and parses DIMACS files:
https://github.com/cjdrake/pyeda https://github.com/cjdrake/pyeda