passagemath-kissat 10.5.10__cp311-cp311-macosx_13_0_x86_64.whl → 10.6.42__cp311-cp311-macosx_13_0_x86_64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.


This version of passagemath-kissat might be problematic. Click here for more details.

@@ -0,0 +1,3 @@
1
+ # sage_setup: distribution = sagemath-kissat
2
+
3
+ from sage.all__sagemath_kissat import *
@@ -1,14 +1,14 @@
1
- Metadata-Version: 2.1
1
+ Metadata-Version: 2.4
2
2
  Name: passagemath-kissat
3
- Version: 10.5.10
3
+ Version: 10.6.42
4
4
  Summary: passagemath: Interface to the SAT solver kissat
5
5
  Author-email: The Sage Developers <sage-support@googlegroups.com>
6
6
  Maintainer: Matthias Köppe, passagemath contributors
7
- License: GNU General Public License (GPL) v2 or later
7
+ License-Expression: GPL-2.0-or-later
8
8
  Project-URL: release notes, https://github.com/passagemath/passagemath/releases
9
9
  Project-URL: repo (upstream), https://github.com/sagemath/sage
10
10
  Project-URL: repo, https://github.com/passagemath/passagemath
11
- Project-URL: documentation, https://doc.sagemath.org
11
+ Project-URL: documentation, https://passagemath.org/docs/latest
12
12
  Project-URL: homepage (upstream), https://www.sagemath.org
13
13
  Project-URL: discourse, https://passagemath.discourse.group
14
14
  Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
@@ -16,17 +16,18 @@ Project-URL: tracker, https://github.com/passagemath/passagemath/issues
16
16
  Classifier: Development Status :: 6 - Mature
17
17
  Classifier: Intended Audience :: Education
18
18
  Classifier: Intended Audience :: Science/Research
19
- Classifier: License :: OSI Approved :: GNU General Public License v2 or later (GPLv2+)
20
19
  Classifier: Operating System :: POSIX
20
+ Classifier: Operating System :: POSIX :: Linux
21
21
  Classifier: Operating System :: MacOS :: MacOS X
22
22
  Classifier: Programming Language :: Python :: 3 :: Only
23
- Classifier: Programming Language :: Python :: 3.9
24
23
  Classifier: Programming Language :: Python :: 3.10
25
24
  Classifier: Programming Language :: Python :: 3.11
26
25
  Classifier: Programming Language :: Python :: 3.12
26
+ Classifier: Programming Language :: Python :: 3.13
27
+ Classifier: Programming Language :: Python :: 3.14
27
28
  Classifier: Programming Language :: Python :: Implementation :: CPython
28
29
  Classifier: Topic :: Scientific/Engineering :: Mathematics
29
- Requires-Python: <3.13,>=3.9
30
+ Requires-Python: <3.15,>=3.10
30
31
  Description-Content-Type: text/x-rst
31
32
  Provides-Extra: test
32
33
  Requires-Dist: passagemath-combinat; extra == "test"
@@ -36,21 +37,49 @@ Requires-Dist: passagemath-repl; extra == "test"
36
37
  passagemath: Interface to the SAT solver kissat
37
38
  ===============================================================================
38
39
 
39
- About SageMath
40
- --------------
41
-
42
- "Creating a Viable Open Source Alternative to
43
- Magma, Maple, Mathematica, and MATLAB"
44
-
45
- Copyright (C) 2005-2024 The Sage Development Team
46
-
47
- https://www.sagemath.org
48
-
49
- SageMath fully supports all major Linux distributions, recent versions of
50
- macOS, and Windows (Windows Subsystem for Linux).
51
-
52
- See https://doc.sagemath.org/html/en/installation/index.html
53
- for general installation instructions.
40
+ `passagemath <https://github.com/passagemath/passagemath>`__ is open
41
+ source mathematical software in Python, released under the GNU General
42
+ Public Licence GPLv2+.
43
+
44
+ It is a fork of `SageMath <https://www.sagemath.org/>`__, which has been
45
+ developed 2005-2025 under the motto “Creating a Viable Open Source
46
+ Alternative to Magma, Maple, Mathematica, and MATLAB”.
47
+
48
+ The passagemath fork uses the motto "Creating a Free Passage Between the
49
+ Scientific Python Ecosystem and Mathematical Software Communities."
50
+ It was created in October 2024 with the following goals:
51
+
52
+ - providing modularized installation with pip,
53
+ - establishing first-class membership in the scientific Python
54
+ ecosystem,
55
+ - giving `clear attribution of upstream
56
+ projects <https://groups.google.com/g/sage-devel/c/6HO1HEtL1Fs/m/G002rPGpAAAJ>`__,
57
+ - providing independently usable Python interfaces to upstream
58
+ libraries,
59
+ - offering `platform portability and integration testing
60
+ services <https://github.com/passagemath/passagemath/issues/704>`__
61
+ to upstream projects,
62
+ - inviting collaborations with upstream projects,
63
+ - `building a professional, respectful, inclusive
64
+ community <https://groups.google.com/g/sage-devel/c/xBzaINHWwUQ>`__,
65
+ - `empowering Sage users to participate in the scientific Python ecosystem
66
+ <https://github.com/passagemath/passagemath/issues/248>`__ by publishing packages,
67
+ - developing a port to `Pyodide <https://pyodide.org/en/stable/>`__ for
68
+ serverless deployment with Javascript,
69
+ - developing a native Windows port.
70
+
71
+ `Full documentation <https://passagemath.org/docs/latest/html/en/index.html>`__ is
72
+ available online.
73
+
74
+ passagemath attempts to support and provides binary wheels suitable for
75
+ all major Linux distributions and recent versions of macOS.
76
+
77
+ Binary wheels for native Windows (x86_64) are are available for a subset of
78
+ the passagemath distributions. Use of the full functionality of passagemath
79
+ on Windows currently requires the use of Windows Subsystem for Linux (WSL)
80
+ or virtualization.
81
+
82
+ The supported Python versions in the passagemath 10.6.x series are 3.10.x-3.14.x.
54
83
 
55
84
 
56
85
  About this pip-installable distribution package
@@ -83,11 +112,11 @@ Finding the installation location of the kissat program::
83
112
  In [2]: Kissat().absolute_filename()
84
113
  Out[2]: '.../bin/kissat'
85
114
 
86
- Use with `sage.sat <https://doc.sagemath.org/html/en/reference/sat/index.html>`_::
115
+ Use with `sage.sat <https://passagemath.org/docs/latest/html/en/reference/sat/index.html>`_::
87
116
 
88
117
  $ pipx run --pip-args="--prefer-binary" --spec "passagemath-kissat[test]" ipython
89
118
 
90
- In [1]: from sage.all__sagemath_kissat import *
119
+ In [1]: from passagemath_kissat import *
91
120
 
92
121
  In [2]: from sage.sat.solvers.dimacs import Kissat
93
122
 
@@ -0,0 +1,10 @@
1
+ passagemath_kissat/__init__.py,sha256=rWFlu2ZzmZRRh6cDuq1Kl8grs-O64-BL8hYIz6JHrw4,86
2
+ sage_wheels/bin/kissat,sha256=h0pharerVDEjxVuec5-xqg7bMyiNGiQLc1tcVUxd2E8,445416
3
+ passagemath_kissat-10.6.42.dist-info/RECORD,,
4
+ passagemath_kissat-10.6.42.dist-info/WHEEL,sha256=wlOID7aumVp4ANpc7b_jjphnWw6TfTPEII6z8zgq67I,154
5
+ passagemath_kissat-10.6.42.dist-info/top_level.txt,sha256=nLgNA6FwaWfX8JKVFhn7KTcurVXTGxhKO1zEb0hnedQ,25
6
+ passagemath_kissat-10.6.42.dist-info/METADATA,sha256=eJC6XUz88KJbyZ33QJkErA_kyPG__NWc1Vc_tnVQAzA,5304
7
+ sage/all__sagemath_kissat.py,sha256=RbQRrU-MyZPCN39vkKVFTy3xzvn3H5nsu64AazxpOT0,108
8
+ sage/libs/kissat.cpython-311-darwin.so,sha256=m1f9PjQ5a7o-Ql-9RRwWVisQrpMdc9Tnk3x-tabeBbk,22072
9
+ sage/libs/all__sagemath_kissat.py,sha256=uHL2QhjQUTkNtAtaBgkPoLs62E9qhmnX1aNz-rv8pJs,45
10
+ sage/libs/kissat.pyx,sha256=uHL2QhjQUTkNtAtaBgkPoLs62E9qhmnX1aNz-rv8pJs,45
@@ -1,5 +1,6 @@
1
1
  Wheel-Version: 1.0
2
- Generator: setuptools (75.6.0)
2
+ Generator: setuptools (80.9.0)
3
3
  Root-Is-Purelib: false
4
4
  Tag: cp311-cp311-macosx_13_0_x86_64
5
+ Generator: delocate 0.13.1.dev42+ga0af70b54
5
6
 
@@ -0,0 +1,3 @@
1
+
2
+ passagemath_kissat
3
+ sage
@@ -1,3 +1,4 @@
1
1
  # sage_setup: distribution = sagemath-kissat
2
+ # delvewheel: patch
2
3
 
3
4
  from sage.all__sagemath_combinat import *
Binary file
sage/libs/kissat.pyx ADDED
@@ -0,0 +1 @@
1
+ # sage_setup: distribution = sagemath-kissat
sage_wheels/bin/kissat CHANGED
Binary file
@@ -1,8 +0,0 @@
1
- passagemath_kissat-10.5.10.dist-info/RECORD,,
2
- passagemath_kissat-10.5.10.dist-info/WHEEL,sha256=te1-8Xhnu3DodWmHvZ3Kz27BbK0S8AxwLhMPcjS_OmU,110
3
- passagemath_kissat-10.5.10.dist-info/top_level.txt,sha256=hibFyzQHiLOMK68qL1OWsNKaXOmSXqZjeLTBem6Yy7I,5
4
- passagemath_kissat-10.5.10.dist-info/METADATA,sha256=vpOlXV_YABK6qOrbu2sSn4UIKHNp0Y-zVpMdUrzeZAQ,3624
5
- sage_wheels/bin/kissat,sha256=QJdr3M8Bfd5raBniWk1CZcbDbTuDbLmAN47ifQ_B17k,469768
6
- sage/all__sagemath_kissat.py,sha256=QmztvVXR-RkIaTRxF9H6VfK2MevkzOdy_LLfi2t_1Yk,88
7
- sage/libs/kissat.cpython-311-darwin.so,sha256=OUHq5GIXu2yytujiCuSpeatrJTXDWqyCPnBy_MMmcdg,55360
8
- sage/libs/all__sagemath_kissat.py,sha256=uHL2QhjQUTkNtAtaBgkPoLs62E9qhmnX1aNz-rv8pJs,45
@@ -1 +0,0 @@
1
- sage