passagemath-glucose 10.6.46__tar.gz

passagemath_glucose-10.6.46/MANIFEST.in

@@ -0,0 +1,24 @@
+graft passagemath_glucose
+
+prune sage
+
+include VERSION.txt
+
+include sage/libs/glucose.p*
+
+global-exclude *.c
+global-exclude *.cpp
+
+global-exclude all__sagemath_*.py
+global-include all__sagemath_glucose.py
+
+include repair_wheel.py
+
+global-exclude __pycache__
+global-exclude *.py[co]
+global-exclude *.bak
+global-exclude *.so
+global-exclude *~
+prune .tox
+prune build
+prune dist

passagemath_glucose-10.6.46/PKG-INFO

@@ -0,0 +1,125 @@
+Metadata-Version: 2.4
+Name: passagemath-glucose
+Version: 10.6.46
+Summary: passagemath: Interface to the SAT solver glucose
+Author-email: The Sage Developers <sage-support@googlegroups.com>
+Maintainer: Matthias Köppe, passagemath contributors
+License-Expression: GPL-2.0-or-later
+Project-URL: release notes, https://github.com/passagemath/passagemath/releases
+Project-URL: repo (upstream), https://github.com/sagemath/sage
+Project-URL: repo, https://github.com/passagemath/passagemath
+Project-URL: documentation, https://passagemath.org/docs/latest
+Project-URL: homepage (upstream), https://www.sagemath.org
+Project-URL: discourse, https://passagemath.discourse.group
+Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
+Project-URL: tracker, https://github.com/passagemath/passagemath/issues
+Classifier: Development Status :: 6 - Mature
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: POSIX
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.15,>=3.10
+Description-Content-Type: text/x-rst
+Provides-Extra: test
+Requires-Dist: passagemath-combinat; extra == "test"
+Requires-Dist: passagemath-repl; extra == "test"
+
+===============================================================================
+passagemath: Interface to the SAT solver glucose
+===============================================================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.14.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-glucose`` provides an interface
+to the SAT solver `glucose <http://www.labri.fr/perso/lsimon/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 <https://passagemath.org/docs/latest/html/en/reference/sat/index.html>`_::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-glucose[test]" ipython
+
+    In [1]: from passagemath_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)

passagemath_glucose-10.6.46/README.rst

@@ -0,0 +1,90 @@
+===============================================================================
+passagemath: Interface to the SAT solver glucose
+===============================================================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.14.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-glucose`` provides an interface
+to the SAT solver `glucose <http://www.labri.fr/perso/lsimon/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 <https://passagemath.org/docs/latest/html/en/reference/sat/index.html>`_::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-glucose[test]" ipython
+
+    In [1]: from passagemath_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)

passagemath_glucose-10.6.46/VERSION.txt

@@ -0,0 +1 @@
+10.6.46

passagemath_glucose-10.6.46/passagemath_glucose/__init__.py

@@ -0,0 +1,3 @@
+# sage_setup: distribution = sagemath-glucose
+
+from sage.all__sagemath_glucose import *

passagemath_glucose-10.6.46/passagemath_glucose.egg-info/PKG-INFO

@@ -0,0 +1,125 @@
+Metadata-Version: 2.4
+Name: passagemath-glucose
+Version: 10.6.46
+Summary: passagemath: Interface to the SAT solver glucose
+Author-email: The Sage Developers <sage-support@googlegroups.com>
+Maintainer: Matthias Köppe, passagemath contributors
+License-Expression: GPL-2.0-or-later
+Project-URL: release notes, https://github.com/passagemath/passagemath/releases
+Project-URL: repo (upstream), https://github.com/sagemath/sage
+Project-URL: repo, https://github.com/passagemath/passagemath
+Project-URL: documentation, https://passagemath.org/docs/latest
+Project-URL: homepage (upstream), https://www.sagemath.org
+Project-URL: discourse, https://passagemath.discourse.group
+Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
+Project-URL: tracker, https://github.com/passagemath/passagemath/issues
+Classifier: Development Status :: 6 - Mature
+Classifier: Intended Audience :: Education
+Classifier: Intended Audience :: Science/Research
+Classifier: Operating System :: POSIX
+Classifier: Operating System :: POSIX :: Linux
+Classifier: Operating System :: MacOS :: MacOS X
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: <3.15,>=3.10
+Description-Content-Type: text/x-rst
+Provides-Extra: test
+Requires-Dist: passagemath-combinat; extra == "test"
+Requires-Dist: passagemath-repl; extra == "test"
+
+===============================================================================
+passagemath: Interface to the SAT solver glucose
+===============================================================================
+
+`passagemath <https://github.com/passagemath/passagemath>`__ is open
+source mathematical software in Python, released under the GNU General
+Public Licence GPLv2+.
+
+It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
+developed 2005-2025 under the motto “Creating a Viable Open Source
+Alternative to Magma, Maple, Mathematica, and MATLAB”.
+
+The passagemath fork uses the motto "Creating a Free Passage Between the
+Scientific Python Ecosystem and Mathematical Software Communities."
+It was created in October 2024 with the following goals:
+
+-  providing modularized installation with pip,
+-  establishing first-class membership in the scientific Python
+   ecosystem,
+-  giving `clear attribution of upstream
+   projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
+-  providing independently usable Python interfaces to upstream
+   libraries,
+-  offering `platform portability and integration testing
+   services <https://github.com/passagemath/passagemath/issues/704>`__
+   to upstream projects,
+-  inviting collaborations with upstream projects,
+-  `building a professional, respectful, inclusive
+   community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
+-  `empowering Sage users to participate in the scientific Python ecosystem
+   <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
+-  developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
+   serverless deployment with Javascript,
+-  developing a native Windows port.
+
+`Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
+available online.
+
+passagemath attempts to support and provides binary wheels suitable for
+all major Linux distributions and recent versions of macOS.
+
+Binary wheels for native Windows (x86_64) are are available for a subset of
+the passagemath distributions. Use of the full functionality of passagemath
+on Windows currently requires the use of Windows Subsystem for Linux (WSL)
+or virtualization.
+
+The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.14.x.
+
+
+About this pip-installable distribution package
+-----------------------------------------------
+
+This pip-installable distribution ``passagemath-glucose`` provides an interface
+to the SAT solver `glucose <http://www.labri.fr/perso/lsimon/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 <https://passagemath.org/docs/latest/html/en/reference/sat/index.html>`_::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-glucose[test]" ipython
+
+    In [1]: from passagemath_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)

passagemath_glucose-10.6.46/passagemath_glucose.egg-info/SOURCES.txt

@@ -0,0 +1,15 @@
+MANIFEST.in
+README.rst
+VERSION.txt
+pyproject.toml
+repair_wheel.py
+setup.py
+passagemath_glucose/__init__.py
+passagemath_glucose.egg-info/PKG-INFO
+passagemath_glucose.egg-info/SOURCES.txt
+passagemath_glucose.egg-info/dependency_links.txt
+passagemath_glucose.egg-info/requires.txt
+passagemath_glucose.egg-info/top_level.txt
+sage/all__sagemath_glucose.py
+sage/libs/all__sagemath_glucose.py
+sage/libs/glucose.pyx

passagemath_glucose-10.6.46/passagemath_glucose.egg-info/dependency_links.txt

@@ -0,0 +1 @@
+

passagemath_glucose-10.6.46/passagemath_glucose.egg-info/requires.txt

@@ -0,0 +1,4 @@
+
+[test]
+passagemath-combinat
+passagemath-repl

passagemath_glucose-10.6.46/passagemath_glucose.egg-info/top_level.txt

@@ -0,0 +1 @@
+

passagemath_glucose-10.6.46/pyproject.toml

@@ -0,0 +1,101 @@
+[build-system]
+# Minimum requirements for the build system to execute.
+requires = [
+    'setuptools >= 77.0.0',
+    'pkgconfig',
+    'passagemath-conf ~= 10.6.46.0 ; sys_platform != "win32"',
+    'passagemath-setup ~= 10.6.46.0',
+    'passagemath-categories ~= 10.6.46.0',
+    'passagemath-environment ~= 10.6.46.0',
+    'passagemath-objects ~= 10.6.46.0',
+    'cython >=3.0.8, <3.3.0', 'cython >=3.0.8,<3.3.0',
+    'cysignals !=1.12.4; sys_platform == "win32"', 'cysignals >=1.11.2, != 1.12.0',
+]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "passagemath-glucose"
+description = "passagemath: Interface to the SAT solver glucose"
+dependencies = [
+]
+dynamic = ["version"]
+license = "GPL-2.0-or-later"
+authors = [{name = "The Sage Developers", email = "sage-support@googlegroups.com"}]
+maintainers = [
+    {name = "Matthias Köppe"},
+    {name = "passagemath contributors"},
+]
+classifiers = [
+    "Development Status :: 6 - Mature",
+    "Intended Audience :: Education",
+    "Intended Audience :: Science/Research",
+    "Operating System :: POSIX",
+    "Operating System :: POSIX :: Linux",
+    "Operating System :: MacOS :: MacOS X",
+    "Programming Language :: Python :: 3 :: Only",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+    "Programming Language :: Python :: Implementation :: CPython",
+    "Topic :: Scientific/Engineering :: Mathematics",
+]
+requires-python = ">=3.10, <3.15"
+
+[project.urls]
+"release notes" = "https://github.com/passagemath/passagemath/releases"
+"repo (upstream)" = "https://github.com/sagemath/sage"
+"repo" = "https://github.com/passagemath/passagemath"
+documentation = "https://passagemath.org/docs/latest"
+"homepage (upstream)" = "https://www.sagemath.org"
+"discourse" = "https://passagemath.discourse.group"
+"tracker (upstream)" = "https://github.com/sagemath/sage/issues"
+"tracker" = "https://github.com/passagemath/passagemath/issues"
+
+[project.readme]
+file = "README.rst"
+content-type = "text/x-rst"
+
+[project.optional-dependencies]
+test = [
+    "passagemath-combinat",
+    "passagemath-repl",
+]
+
+[tool.cibuildwheel.linux]
+repair-wheel-command = [
+    'python3 -m pip install passagemath-conf auditwheel',
+    'python3 {package}/repair_wheel.py {wheel}',
+    'auditwheel repair -w {dest_dir} {wheel}',
+]
+[tool.cibuildwheel.macos]
+repair-wheel-command = [
+    'python3 -m pip install passagemath-conf auditwheel',
+    'python3 {package}/repair_wheel.py {wheel}',
+    'delocate-wheel --require-archs {delocate_archs} -w {dest_dir} -v {wheel}',
+]
+
+[tool.setuptools]
+include-package-data = false
+
+[tool.setuptools.dynamic]
+version = {file = ["VERSION.txt"]}
+
+[external]
+# External dependencies in the format proposed by https://peps.python.org/pep-0725
+build-requires = [
+  "virtual:compiler/c",
+  "virtual:compiler/cpp",
+  "pkg:generic/pkg-config",
+]
+
+host-requires = [
+  "pkg:generic/glucose",
+  "pkg:generic/gmp",
+  "pkg:generic/mpc",
+  "pkg:generic/mpfr",
+]
+
+dependencies = [
+]

passagemath_glucose-10.6.46/repair_wheel.py

@@ -0,0 +1,24 @@
+# Add data to the wheel
+
+import os
+import shlex
+import sys
+
+from pathlib import Path
+
+from auditwheel.wheeltools import InWheel
+
+from sage_conf import SAGE_LOCAL
+
+if "TMPDIR" in os.environ:
+    os.environ["TMPDIR"] = str(Path(os.environ["TMPDIR"]).resolve())
+
+wheel = Path(sys.argv[1])
+
+# SAGE_LOCAL/bin/glucose* --> sage_wheels/bin/glucose*
+with InWheel(wheel, wheel):
+    command = f'set -o pipefail; (cd {shlex.quote(SAGE_LOCAL)} && tar cf - --dereference bin/glucose*) | (mkdir -p sage_wheels && cd sage_wheels && tar xvf -)'
+    print(f'Running {command}')
+    sys.stdout.flush()
+    if os.system(f"bash -c {shlex.quote(command)}") != 0:
+        sys.exit(1)

passagemath_glucose-10.6.46/sage/all__sagemath_glucose.py

@@ -0,0 +1,4 @@
+# sage_setup: distribution = sagemath-glucose
+# delvewheel: patch
+
+from sage.all__sagemath_combinat import *

passagemath_glucose-10.6.46/sage/libs/all__sagemath_glucose.py

@@ -0,0 +1 @@
+# sage_setup: distribution = sagemath-glucose

passagemath_glucose-10.6.46/sage/libs/glucose.pyx

@@ -0,0 +1 @@
+# sage_setup: distribution = sagemath-glucose

passagemath_glucose-10.6.46/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

passagemath_glucose-10.6.46/setup.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python
+
+# PEP 517 builds do not have . in sys.path
+import os
+import sys
+sys.path.insert(0, os.path.dirname(__file__))
+
+from sage_setup import sage_setup
+
+sage_setup(['sagemath-glucose'],
+           recurse_packages=('sage', 'passagemath_glucose'),
+           spkgs=['glucose'],
+           package_data={},
+           py_limited_api=True)