passagemath-kissat 10.6.45__cp311-cp311-musllinux_1_2_x86_64.whl

passagemath_kissat/__init__.py

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

passagemath_kissat-10.6.45.dist-info/METADATA

@@ -0,0 +1,126 @@
+Metadata-Version: 2.4
+Name: passagemath-kissat
+Version: 10.6.45
+Summary: passagemath: Interface to the SAT solver kissat
+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 kissat
+===============================================================================
+
+`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-kissat`` provides an interface
+to the SAT solver `kissat <https://fmv.jku.at/kissat/>`_, a condensed and improved
+reimplementation of CaDiCaL in C.
+
+
+What is included
+----------------
+
+* Binary wheels on PyPI contain prebuilt copies of the kissat executable.
+
+
+Examples
+--------
+
+Using kissat programs on the command line::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-kissat" sage -sh -c kissat
+
+Finding the installation location of the kissat program::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-kissat[test]" ipython
+
+    In [1]: from sage.features.sat import Kissat
+
+    In [2]: Kissat().absolute_filename()
+    Out[2]: '.../bin/kissat'
+
+Use with `sage.sat <https://passagemath.org/docs/latest/html/en/reference/sat/index.html>`_::
+
+    $ pipx run --pip-args="--prefer-binary" --spec "passagemath-kissat[test]" ipython
+
+    In [1]: from passagemath_kissat import *
+
+    In [2]: from sage.sat.solvers.dimacs import Kissat
+
+    In [3]: solver = Kissat(); solver.add_clause((1,2)); solver.add_clause((-1,2)); solver.add_clause((1,-2))
+
+    In [4]: solver()
+    Out[4]: (None, True, True)

passagemath_kissat-10.6.45.dist-info/RECORD

@@ -0,0 +1,10 @@
+passagemath_kissat/__init__.py,sha256=rWFlu2ZzmZRRh6cDuq1Kl8grs-O64-BL8hYIz6JHrw4,86
+sage/all__sagemath_kissat.py,sha256=RbQRrU-MyZPCN39vkKVFTy3xzvn3H5nsu64AazxpOT0,108
+sage/libs/all__sagemath_kissat.py,sha256=uHL2QhjQUTkNtAtaBgkPoLs62E9qhmnX1aNz-rv8pJs,45
+sage/libs/kissat.cpython-311-x86_64-linux-musl.so,sha256=2wTqm4-y5L4oMElXZCMe2FCJym8fXOERMzwkJmZRFQ8,52024
+sage/libs/kissat.pyx,sha256=uHL2QhjQUTkNtAtaBgkPoLs62E9qhmnX1aNz-rv8pJs,45
+sage_wheels/bin/kissat,sha256=eCop2GKJrYhMHEghsFt5i3dNHBne0zrbUfyBQCOX9qM,535296
+passagemath_kissat-10.6.45.dist-info/METADATA,sha256=wNHFRPH_atoK3fm4vg-XAENniW9ByYbjB6UpRJ2X9P4,5304
+passagemath_kissat-10.6.45.dist-info/WHEEL,sha256=kA_iIvT-cxTFNl4I8QDfFHN1DAyqZDYakVXCaObxeLo,112
+passagemath_kissat-10.6.45.dist-info/top_level.txt,sha256=nLgNA6FwaWfX8JKVFhn7KTcurVXTGxhKO1zEb0hnedQ,25
+passagemath_kissat-10.6.45.dist-info/RECORD,,

passagemath_kissat-10.6.45.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (80.9.0)
+Root-Is-Purelib: false
+Tag: cp311-cp311-musllinux_1_2_x86_64
+

passagemath_kissat-10.6.45.dist-info/top_level.txt

@@ -0,0 +1,3 @@
+
+passagemath_kissat
+sage

sage/all__sagemath_kissat.py

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

sage/libs/all__sagemath_kissat.py

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

sage/libs/kissat.pyx

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