sagemath_glucose: Interface to the SAT solver glucose¶
This pip-installable distribution passagemath-glucose provides an interface
to the SAT solver glucose.
What is included¶
Binary wheels on PyPI contain prebuilt copies of glucose executables.
Examples¶
Using glucose programs on the command line:
$ pipx run --pip-args="--prefer-binary" --spec "passagemath-glucose" sage -sh -c glucose
Finding the installation location of a glucose program:
$ pipx run --pip-args="--prefer-binary" --spec "passagemath-glucose[test]" ipython
In [1]: from sage.features.sat import Glucose
In [2]: Glucose().absolute_filename()
Out[2]: '.../bin/glucose'
Use with sage.sat:
$ pipx run --pip-args="--prefer-binary" --spec "passagemath-glucose[test]" ipython
In [1]: from sage.all__sagemath_glucose import *
In [2]: from sage.sat.solvers.dimacs import Glucose
In [3]: solver = Glucose(); solver.add_clause((1,2)); solver.add_clause((-1,2)); solver.add_clause((1,-2))
In [4]: solver()
Out[4]: (None, True, True)
Type¶
optional
Dependencies¶
$(PYTHON)
$(PYTHON_TOOLCHAIN)
cython: C-Extensions for Python, an optimizing static compiler
Version Information¶
package-version.txt:
10.6.3
version_requirements.txt:
passagemath-glucose ~= 10.6.3.0
Equivalent System Packages¶
(none known)