pylgl

bindings to lgl (a SAT solver)

Installation

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

pip3 install pylgl

Dependencies

  • None

Page last updated 2025-09-08 07:11:24 UTC