pylgl

bindings to lgl (a SAT solver)

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install pylgl

Page last updated 2025-06-27 17:55:26 UTC