pylgl

bindings to lgl (a SAT solver)


License
MIT
Install
pip install pylgl==0.0.3