pylgl

bindings to lgl (a SAT solver)

Installation

sudo pip3 install pylgl

Should I use sudo? pip or pip3?

Releases

Version Released Stretch
Python 3.5
Buster
Python 3.7
Bullseye
Python 3.9
Files
0.0.3 2017-02-01      

Issues with this package?

Page last updated 2022-03-28 15:24:56 UTC