passagemath-kissat

Pre-release

This release is a pre-release and may not be stable for production use.

passagemath is open source mathematical software in Python, released under the GNU General Public Licence GPLv2+.

It is a fork of SageMath, which has been developed 2005-2026 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 from binary wheels, - this major project was started in May 2020 in the Sage codebase and completed in passagemath 10.5.29 (May 2025),
establishing first-class membership in the scientific Python ecosystem,
giving clear attribution of upstream projects,
providing independently usable Python interfaces to upstream libraries,
offering platform portability and integration testing services to upstream projects,
inviting collaborations with upstream projects,
building a professional, respectful, inclusive community,
empowering Sage users to participate in the scientific Python ecosystem by publishing packages,
developing a port to WebAssembly (Pyodide, emscripten-forge) for serverless deployment with Javascript,
developing a native Windows port - passagemath 10.6.1 (July 2025) published the first pip-installable wheel packages for native Windows on x86_64, - passagemath packages became available in the [MSYS2 software distribution](https://packages.msys2.org/search?t=pkg&q=passagemath) in November 2025.

Moreover, the passagemath project:

provides a stable, frequently updated version of the Sage distribution,
integrates additional mathematical software, notably Macaulay2, a full set of GAP packages, and the Combinatorial Matrix Recognition library,
curates a library of Sage user packages.

Full documentation 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, ARM) 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.8.x series are 3.11.x-3.14.x; the passagemath-10.6.x series (EOL 2026-10) still supports Python 3.10.x.

About this pip-installable distribution package

This pip-installable distribution passagemath-kissat provides an interface to the SAT solver 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 --spec "passagemath-kissat" sage -sh -c kissat

Finding the installation location of the kissat program:

$ pipx run --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:

$ pipx run --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)

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

passagemath_kissat-10.10.1a0.tar.gz (5.1 kB view details)

Uploaded Aug 3, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_x86_64.whl (290.2 kB view details)

Uploaded Aug 3, 2026 CPython 3.15tmusllinux: musl 1.2+ x86-64

passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_aarch64.whl (285.7 kB view details)

Uploaded Aug 3, 2026 CPython 3.15tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (286.2 kB view details)

Uploaded Aug 3, 2026 CPython 3.15tmanylinux: glibc 2.17+ x86-64manylinux: glibc 2.28+ x86-64

passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (283.2 kB view details)

Uploaded Aug 3, 2026 CPython 3.15tmanylinux: glibc 2.17+ ARM64manylinux: glibc 2.28+ ARM64

passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_x86_64.whl (231.4 kB view details)

Uploaded Aug 3, 2026 CPython 3.15tmacOS 13.0+ x86-64

passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_arm64.whl (208.6 kB view details)

Uploaded Aug 3, 2026 CPython 3.15tmacOS 13.0+ ARM64

passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_x86_64.whl (289.8 kB view details)

Uploaded Aug 3, 2026 CPython 3.14tmusllinux: musl 1.2+ x86-64

passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_aarch64.whl (285.2 kB view details)

Uploaded Aug 3, 2026 CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (285.8 kB view details)

Uploaded Aug 3, 2026 CPython 3.14tmanylinux: glibc 2.17+ x86-64manylinux: glibc 2.28+ x86-64

passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (282.7 kB view details)

Uploaded Aug 3, 2026 CPython 3.14tmanylinux: glibc 2.17+ ARM64manylinux: glibc 2.28+ ARM64

passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_x86_64.whl (231.4 kB view details)

Uploaded Aug 3, 2026 CPython 3.14tmacOS 13.0+ x86-64

passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_arm64.whl (208.5 kB view details)

Uploaded Aug 3, 2026 CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_x86_64.whl (282.9 kB view details)

Uploaded Aug 3, 2026 CPython 3.12+musllinux: musl 1.2+ x86-64

passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_aarch64.whl (277.6 kB view details)

Uploaded Aug 3, 2026 CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (278.8 kB view details)

Uploaded Aug 3, 2026 CPython 3.12+manylinux: glibc 2.17+ x86-64manylinux: glibc 2.28+ x86-64

passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (274.8 kB view details)

Uploaded Aug 3, 2026 CPython 3.12+manylinux: glibc 2.17+ ARM64manylinux: glibc 2.28+ ARM64

passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_x86_64.whl (231.3 kB view details)

Uploaded Aug 3, 2026 CPython 3.12+macOS 13.0+ x86-64

passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_arm64.whl (208.2 kB view details)

Uploaded Aug 3, 2026 CPython 3.12+macOS 13.0+ ARM64

File details

Details for the file passagemath_kissat-10.10.1a0.tar.gz.

File metadata

Download URL: passagemath_kissat-10.10.1a0.tar.gz
Upload date: Aug 3, 2026
Size: 5.1 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0.tar.gz
Algorithm	Hash digest
SHA256	`73d6a1443f6871fddc2e9a46247fb12aebd83ac9996ac0e5ac3d3c9a828e1780`
MD5	`c6a51467bd5ab8a4e5aa04a87949a675`
BLAKE2b-256	`3355476b93cef52cea1cedc9465aded6d2ec05a5d7b4598d87b2500d54ffeb85`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_x86_64.whl
Upload date: Aug 3, 2026
Size: 290.2 kB
Tags: CPython 3.15t, musllinux: musl 1.2+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_x86_64.whl
Algorithm	Hash digest
SHA256	`b1e535950ff93cb4100cb9e9f4cf1b0e310b21c5c3f9a955a9ed5faa68f82ddf`
MD5	`d3a2f9724329c4d02669a0244b97ab40`
BLAKE2b-256	`dca3dfb280d758abba513a43679f3913a767f70f40c30015492145b3885e797d`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_aarch64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_aarch64.whl
Upload date: Aug 3, 2026
Size: 285.7 kB
Tags: CPython 3.15t, musllinux: musl 1.2+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp315-cp315t-musllinux_1_2_aarch64.whl
Algorithm	Hash digest
SHA256	`26e95603ac6d2313abad3f544d89246a816747b7cbc9b03467de2800969570ce`
MD5	`9dbccdf515b6c1af79b6286d25dab070`
BLAKE2b-256	`f484ac4c278caba6629336a5d643ca43eb4747d48ea9d0ad8c8593ca739c539d`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Upload date: Aug 3, 2026
Size: 286.2 kB
Tags: CPython 3.15t, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`3b6142e3a18797486a5cc2074b85e48a57a42a348c1418c8b02240b67f2c53f3`
MD5	`90765b3e34cf4769ca858beb7c3724c0`
BLAKE2b-256	`aa30520f21ac09a3664e0462dccfdf25ca39f119dbe4e98242cd597e2575280e`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Upload date: Aug 3, 2026
Size: 283.2 kB
Tags: CPython 3.15t, manylinux: glibc 2.17+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp315-cp315t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`ca7d6186e09fcfb0d53975e8b2f6b0f57769842148d393df0c351811ff38ba42`
MD5	`3f2e1f5456a19f09a5ab8fc2e02415e7`
BLAKE2b-256	`5ae04b0693ddb98350f4a43b3c3a9dd17ed8f76f0e5140968eb0ad17d0baf6f9`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_x86_64.whl
Upload date: Aug 3, 2026
Size: 231.4 kB
Tags: CPython 3.15t, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`3ff2e47826a3c9f249b89bd0f2dcb542a4e14502b8c217f9ca498b6fbf964e83`
MD5	`cef17bfee735618449ec1ec472bc8231`
BLAKE2b-256	`65514ecdd8f4312b81c0b2ee6cf8f740e3194e576666b30ebcdec5b785822e9d`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_arm64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_arm64.whl
Upload date: Aug 3, 2026
Size: 208.6 kB
Tags: CPython 3.15t, macOS 13.0+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp315-cp315t-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`4d756c538f7d5ebbfd3bedc7005f4456362a039a6c67d442ea02288d85b86278`
MD5	`ee3346946e88c853311875c978683a37`
BLAKE2b-256	`2c63a5ed973e546bad5fc54f975dc686f0a642b83c467d66db09f9dac262c119`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_x86_64.whl
Upload date: Aug 3, 2026
Size: 289.8 kB
Tags: CPython 3.14t, musllinux: musl 1.2+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm	Hash digest
SHA256	`be6457e486cc012d8dc5b62560ea672547f6686afccc7fc9437f37a1b54965e2`
MD5	`6a0711ecf0f178484c2645e1e6d39c63`
BLAKE2b-256	`b612c95fa694e95c204aea544c1e53b0aae63dcd6cf7e5283006620f946020a9`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_aarch64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_aarch64.whl
Upload date: Aug 3, 2026
Size: 285.2 kB
Tags: CPython 3.14t, musllinux: musl 1.2+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm	Hash digest
SHA256	`5b90d8fc8ad02eca37780b59bb63ac770683cde21b9fcfbeb25711a4837bd9c3`
MD5	`ed2ff25474bbe0afb2aad3b0af0eccaa`
BLAKE2b-256	`cbfdc40e806d6eb2a545e552881a839be39b8ea75c28c2194f48ad93320a8536`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Upload date: Aug 3, 2026
Size: 285.8 kB
Tags: CPython 3.14t, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`4abf80acd7f1a6b34cafc491a331f7828113207486eaeaac5f6b73cdfc5288f7`
MD5	`f4b187c1d8ce2de440e95f4f0bbd67c3`
BLAKE2b-256	`eaafc22360b478d8c1c4726b1397ead82aa8f5d7f232abe21ec69503d2334d06`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Upload date: Aug 3, 2026
Size: 282.7 kB
Tags: CPython 3.14t, manylinux: glibc 2.17+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`d6e14038e9164aa6f78fff1a094805821c434ed21e3200e6d40b98d2bbacf2f9`
MD5	`b2abf05d4f0b5e427e481b9a0487d0e8`
BLAKE2b-256	`13232449dbbdfd3844fb1c587a57b44eb881e78ae95819ec758810cb513b6f77`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_x86_64.whl
Upload date: Aug 3, 2026
Size: 231.4 kB
Tags: CPython 3.14t, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`9f19deae76dbaf877c7c166bd02fceeb1cc8a3cd790a3a2e91dfb430f046d570`
MD5	`f63367057f5a67a29e3d2e023d67fd84`
BLAKE2b-256	`9d36bea0f98e9ed8ba147757bb43831aa9e1c8b655e16dc94c284afa0e797b7f`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_arm64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_arm64.whl
Upload date: Aug 3, 2026
Size: 208.5 kB
Tags: CPython 3.14t, macOS 13.0+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`0ddf86495fc2e93ec4202328099914154d42eec12be91a358041d73ff89ffbed`
MD5	`ebd9e8e43a616f173a8c17312b362d38`
BLAKE2b-256	`c5026c97e2789cb94d5aa09e52778e2b7effde03e105b49d4a715a2bd450085f`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_x86_64.whl
Upload date: Aug 3, 2026
Size: 282.9 kB
Tags: CPython 3.12+, musllinux: musl 1.2+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm	Hash digest
SHA256	`e79cc02ee0567a459e955c99749cd5b28b24c029fcdaeffa680491393e7beebb`
MD5	`0818c5b127c1e95e6e8694a5cf83e434`
BLAKE2b-256	`4fc9a1f0a395c6b2384c36ba89285a468ca521b381e6df9919efb5ee59a19860`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_aarch64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_aarch64.whl
Upload date: Aug 3, 2026
Size: 277.6 kB
Tags: CPython 3.12+, musllinux: musl 1.2+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm	Hash digest
SHA256	`33c8e6ed247c68632caa66587dd54e6f645b360d7ec0f8baeb5979a8a34fc2bc`
MD5	`6f5d765a9e916b17148b1b62fd208589`
BLAKE2b-256	`be2ba4f425bc378bf75c5ebd2a7a87bc11c2c2c65dfa2c2495bf0050e2bb63f2`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Upload date: Aug 3, 2026
Size: 278.8 kB
Tags: CPython 3.12+, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`bd31881e5490b79eed0641b0e60720384e95031758cc365e8e63437c8646db81`
MD5	`53b81d9188d88ef471a1e47a551383c0`
BLAKE2b-256	`6dc03d7bf5ebe76430e6652648c022a939a93ad0875153c6b314933154f8fcc6`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Upload date: Aug 3, 2026
Size: 274.8 kB
Tags: CPython 3.12+, manylinux: glibc 2.17+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`11f1c1be216f849d24310ae42a126413ddcba2cd81779a70648ef26e1e752b0a`
MD5	`df6d1eb1b73c778325e58d0de4653546`
BLAKE2b-256	`e5b2aab1c3e311969dc4ab0e02ae550f80c69aec0fa9bea3620c961ef8fcdc54`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_x86_64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_x86_64.whl
Upload date: Aug 3, 2026
Size: 231.3 kB
Tags: CPython 3.12+, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`9114d1182029dc6f8cdef1faecbb9dcfa43abcbe4c9e4f92cf04de9c5aea4212`
MD5	`3ea1b62afd5a8494c18af5d217da2f17`
BLAKE2b-256	`d1e77a5dd76b3b6290998b143843c9e410019c1474832ef557d3549d1513eab5`

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_arm64.whl.

File metadata

Download URL: passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_arm64.whl
Upload date: Aug 3, 2026
Size: 208.2 kB
Tags: CPython 3.12+, macOS 13.0+ ARM64
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.10.1a0-cp312-abi3-macosx_13_0_arm64.whl
Algorithm	Hash digest
SHA256	`1fbec0adbb2bc9135f6d373afc8ca981bd1f203a775d37c2270c3a860c064308`
MD5	`3224fa67a1e2c49fb3930de78d98aea4`
BLAKE2b-256	`ba5509bcf525a3021b0932f672f4cdc7d69f863d4a064bc33e5e7f2d018a1604`

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

10.10.1a0 pre-release

Aug 3, 2026

10.8.10rc0 pre-release

Aug 12, 2026

10.8.9

Aug 10, 2026

10.8.9rc0 pre-release

Aug 6, 2026

10.8.8

Aug 4, 2026

10.8.8rc1 pre-release

Aug 2, 2026

10.8.8rc0 pre-release

Jul 30, 2026

10.8.7

Jul 23, 2026

10.8.7rc0 pre-release

Jul 20, 2026

10.8.6

Jul 16, 2026

10.8.6rc2 pre-release

Jul 13, 2026

10.8.6rc1 pre-release

Jul 13, 2026

10.8.6rc0 pre-release

Jul 11, 2026

10.8.5

Jul 2, 2026

10.8.5rc5 pre-release

Jun 17, 2026

10.8.5rc4 pre-release

Jun 16, 2026

10.8.5rc3 pre-release

Jun 13, 2026

10.8.5rc2 pre-release

May 18, 2026

10.8.5rc1 pre-release

May 6, 2026

10.8.5rc0 pre-release

Apr 27, 2026

10.8.4

Apr 20, 2026

10.8.4rc0 pre-release

Apr 16, 2026

10.8.3

Mar 30, 2026

10.8.3rc3 pre-release

Mar 28, 2026

10.8.3rc2 pre-release

Mar 27, 2026

10.8.3rc1 pre-release

Mar 25, 2026

10.8.3rc0 pre-release

Mar 23, 2026

10.8.2

Mar 11, 2026

10.8.2rc4 pre-release

Mar 9, 2026

10.8.2rc3 pre-release

Mar 6, 2026

10.8.2rc2 pre-release

Mar 3, 2026

10.8.2rc1 pre-release

Mar 2, 2026

10.8.2rc0 pre-release

Mar 1, 2026

10.8.1

Feb 8, 2026

10.8.1rc3 pre-release

Feb 6, 2026

10.8.1rc2 pre-release

Feb 5, 2026

10.8.1rc1 pre-release

Feb 3, 2026

10.8.1rc0 pre-release

Feb 1, 2026

10.8.1a4 pre-release

Jan 31, 2026

10.8.1a3 pre-release

Jan 28, 2026

10.8.1a2 pre-release

Jan 26, 2026

10.8.1a1 pre-release

Jan 24, 2026

10.6.48

Feb 2, 2026

10.6.47

Jan 15, 2026

10.6.46

Jan 12, 2026

10.6.45

Jan 9, 2026

10.6.44

Jan 6, 2026

10.6.43

Jan 1, 2026

10.6.42

Dec 14, 2025

10.6.41

Dec 11, 2025

10.6.40

Dec 6, 2025

10.6.39

Nov 29, 2025

10.6.38

Nov 24, 2025

10.6.37

Nov 19, 2025

10.6.36

Nov 16, 2025

10.6.35

Nov 13, 2025

10.6.34

Nov 11, 2025

10.6.33

Nov 7, 2025

10.6.32

Nov 5, 2025

10.6.31

Oct 31, 2025

10.6.31rc3 pre-release

Oct 23, 2025

10.6.31rc2 pre-release

Oct 21, 2025

10.6.31rc1 pre-release

Oct 17, 2025

10.6.30

Oct 7, 2025

10.6.29

Sep 30, 2025

10.6.28

Sep 24, 2025

10.6.27

Sep 22, 2025

10.6.26

Sep 21, 2025

10.6.25

Sep 19, 2025

10.6.24

Sep 17, 2025

10.6.23

Sep 15, 2025

10.6.22

Sep 14, 2025

10.6.21

Sep 13, 2025

10.6.20

Sep 11, 2025

10.6.19

Sep 10, 2025

10.6.18

Sep 9, 2025

10.6.17

Sep 7, 2025

10.6.16

Sep 6, 2025

10.6.15

Sep 5, 2025

10.6.14

Sep 3, 2025

10.6.13

Aug 31, 2025

10.6.12

Aug 29, 2025

10.6.11

Aug 28, 2025

10.6.10

Aug 27, 2025

10.6.9

Aug 26, 2025

10.6.8

Aug 24, 2025

10.6.7

Aug 21, 2025

10.6.6

Aug 20, 2025

10.6.5

Aug 17, 2025

10.6.4

Aug 13, 2025

10.6.3

Aug 10, 2025

10.6.2

Aug 8, 2025

10.6.1

Jul 31, 2025

10.6.1rc15 pre-release

Jul 29, 2025

10.6.1rc14 pre-release

Jul 28, 2025

10.6.1rc13 pre-release

Jul 27, 2025

10.6.1rc12 pre-release

Jul 26, 2025

10.6.1rc11 pre-release

Jul 25, 2025

10.6.1rc10 pre-release

Jul 23, 2025

10.6.1rc9 pre-release

Jul 21, 2025

10.6.1rc8 pre-release

Jul 19, 2025

10.6.1rc7 pre-release

Jul 16, 2025

10.6.1rc6 pre-release

Jul 12, 2025

10.6.1rc5 pre-release

Jul 8, 2025

10.6.1rc4 pre-release

Jun 30, 2025

10.6.1rc3 pre-release

Jun 28, 2025

10.6.1rc2 pre-release

Jun 25, 2025

10.6.1rc1 pre-release

Jun 20, 2025

10.5.49

Nov 1, 2025

10.5.48

Jul 24, 2025

10.5.47

Jul 20, 2025

10.5.46

Jul 15, 2025

10.5.45

Jul 5, 2025

10.5.44

Jun 28, 2025

10.5.43

Jun 19, 2025

10.5.42

Jun 16, 2025

10.5.41

Jun 5, 2025

10.5.40

May 27, 2025

10.5.39

May 25, 2025

10.5.38

May 22, 2025

10.5.37

May 21, 2025

10.5.36

May 20, 2025

10.5.35

May 19, 2025

10.5.34

May 17, 2025

10.5.33

May 13, 2025

10.5.32

May 11, 2025

10.5.31

May 7, 2025

10.5.30

May 5, 2025

10.5.29

May 2, 2025

10.5.28

Apr 30, 2025

10.5.27

Apr 27, 2025

10.5.26

Apr 26, 2025

10.5.25

Apr 23, 2025

10.5.24

Apr 22, 2025

10.5.23

Apr 2, 2025

10.5.22

Jan 21, 2025

10.5.21

Jan 20, 2025

10.5.20

Jan 12, 2025

10.5.19

Jan 9, 2025

10.5.18

Jan 5, 2025

10.5.17

Jan 1, 2025

10.5.16

Dec 31, 2024

10.5.15

Dec 30, 2024

10.5.14

Dec 29, 2024

10.5.13

Dec 26, 2024

10.5.12

Dec 23, 2024

10.5.10

Dec 18, 2024

10.5.9

Dec 17, 2024

10.5.8

Dec 16, 2024

10.5.7

Dec 14, 2024

10.5.6

Dec 12, 2024

10.5.5

Dec 12, 2024

10.5.2

Dec 7, 2024

10.5.1

Dec 5, 2024

10.4.68

Dec 2, 2024

passagemath-kissat 10.10.1a0

About this pip-installable distribution package

What is included

Examples

Project links

Key dates

Owner

Credits

License expression

Requires

Provides Extra

Classifiers

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

Release history Release notifications | RSS feed