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 2026-09-03 08:14:49 UTC