pyglucose

pybind11-based binding of glucose SAT solver

Installation

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

pip3 install pyglucose

Dependencies

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Trixie
Python 3.13
Files
0.0.1 2019-04-14      

Issues with this package?

Page last updated 2025-09-08 17:27:24 UTC