Lingeling SAT Solver Python Wrapper.
Based on the pyPicoSAT wrapper written by Andrea Micheli and Marco Gario.
The wrapper is written using SWIG and in lingeling_python.i.
$ ./build.sh
$ python setup.py build
$ python setup.py install --user
To see a demo of how to you can use the "raw" lingeling API, see demo.py.
To see a demo of how you can use the MiniSAT-like wrapper around the lingeling API see solver_demo.py.
I am Pramod Subramanyan. You can email me at [email protected].
If you are running into bugs, please create a GitHub issue.