passagemath: Interface to the SAT solver kissat
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,
providing independently usable Python interfaces to upstream libraries,
offering platform portability and integration testing services to upstream projects,
inviting collaborations with upstream projects,
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)
Metadata
Release files for passagemath-kissat 10.8.13
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| passagemath_kissat-10.8.13.tar.gz | 5.2 kB | Details |
Built distributions (wheels)
Total release size: 4.7 MB
Release files / passagemath_kissat-10.8.13.tar.gz
| Download URL | passagemath_kissat-10.8.13.tar.gz |
|---|---|
| Size | 5.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
5ca223371cccce1456ad6860fa779239d9eefe151afc9543fb6328b03a1b1b24
|
|
BLAKE2b-256 checksum How to use checksums |
3fc9a1706f8aa5a5ccccf0a77f61e374bb6058da1401becd8dd1602774019a20
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp314-cp314t-musllinux_1_2_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp314-cp314t-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 290.2 kB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
a94182574fda2335c6fe995dc3c7624a328f617b82f9bd2bf32d06b56ae1dfdb
|
|
BLAKE2b-256 checksum How to use checksums |
37fa12da534e34a03bb72c88ab375ec5b0ac6bc395148eb5d2d75867226ebde4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp314-cp314t-musllinux_1_2_aarch64.whl
| Download URL | passagemath_kissat-10.8.13-cp314-cp314t-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 285.6 kB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
26133272595e3b9f0f269f0073049722435731ec01371954ce5b434ad836cfbd
|
|
BLAKE2b-256 checksum How to use checksums |
ee197e4693bc8047542d1716318855dbfc1dc8fa3cbae87e1aa8ebf40aac17f0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 286.0 kB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
5ddd7504d39aa276547c11feae58e7be1d019a5344f4d22dd8e1dda11123a98c
|
|
BLAKE2b-256 checksum How to use checksums |
92defea6dd5d32e56c6422b331dc22c22e348a7ce87b0619798ec0a9ad8fe7a3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | passagemath_kissat-10.8.13-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 283.1 kB |
| Tags | CPython 3.14 CPython 3.14 free-threading Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
378a0ef49ecdc7014acda8dcc891727deb3aea5cf76da0ff69b2933bda8da073
|
|
BLAKE2b-256 checksum How to use checksums |
b4c2e957af0a3d03d13963f20fc0ae37b42e0e5ca2646711e8f1e6fb6433b1c7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp314-cp314t-macosx_13_0_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp314-cp314t-macosx_13_0_x86_64.whl |
|---|---|
| Size | 231.4 kB |
| Tags | CPython 3.14 CPython 3.14 free-threading macOS 13.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
9c368a675f8d5f7be5ed4e9403357cafe9c8faeafba088ad6a9efadcbb3fb7e7
|
|
BLAKE2b-256 checksum How to use checksums |
1ae440526d78f34cc80f3b975bd1597660e4e976ecfee1f4f0855580f267138b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp314-cp314t-macosx_13_0_arm64.whl
| Download URL | passagemath_kissat-10.8.13-cp314-cp314t-macosx_13_0_arm64.whl |
|---|---|
| Size | 208.6 kB |
| Tags | CPython 3.14 CPython 3.14 free-threading macOS 13.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cc5eb482aa22fc564e8b7488a2b9505878666bd00a2226775aa9432b5029e35d
|
|
BLAKE2b-256 checksum How to use checksums |
20827daadd0054d0a63ea77e1980fd499d63f85a6830289ec2a1f93a83a3659f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp312-abi3-musllinux_1_2_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp312-abi3-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 284.9 kB |
| Tags | CPython 3.12 Linux musl 1.2+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
2b7fbdcec04422ca3281f416a67990490bf4383065c79ab93f692e35b2179417
|
|
BLAKE2b-256 checksum How to use checksums |
88c91121f69e48e2ab39f6617896094d77e541b899bea60e48cb179f859197db
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp312-abi3-musllinux_1_2_aarch64.whl
| Download URL | passagemath_kissat-10.8.13-cp312-abi3-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 279.5 kB |
| Tags | CPython 3.12 Linux musl 1.2+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
9b556cdfe258754ac556b10024b9c2adc8ea9defd4304767c9eefcec37c52063
|
|
BLAKE2b-256 checksum How to use checksums |
0204ed10f4426fc65ba35167da95a5bf6a0fa2a8f43e9a8295efc736fb95ce33
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 280.8 kB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
579f369a01f69781b9adf1b36548c965d869bd9d50cddfb798253d3eed8147f9
|
|
BLAKE2b-256 checksum How to use checksums |
3ffb00657b21aab75a708e590bb3c7f66104e4f9abd76d59be77781c4a298108
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | passagemath_kissat-10.8.13-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 276.7 kB |
| Tags | CPython 3.12 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
e97129ec2893fab23a3ddc15de49e8b27ea76e0502a81489432817a6fc5198b0
|
|
BLAKE2b-256 checksum How to use checksums |
769b8acede3710645413382dff794a7e957e78bd574f66584bab5badbe5ca183
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp312-abi3-macosx_13_0_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp312-abi3-macosx_13_0_x86_64.whl |
|---|---|
| Size | 231.7 kB |
| Tags | CPython 3.12 abi3 macOS 13.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
65a71d03170371ddfdeb450b40e1d5d01b022c01a05837cf7bd8cd9031e31748
|
|
BLAKE2b-256 checksum How to use checksums |
49eb980cea8a9aead7a5609f34bdd2beabbe5b4fc4f7a77806ed6f9c2b0f969c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp312-abi3-macosx_13_0_arm64.whl
| Download URL | passagemath_kissat-10.8.13-cp312-abi3-macosx_13_0_arm64.whl |
|---|---|
| Size | 208.5 kB |
| Tags | CPython 3.12 abi3 macOS 13.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
7a3816654aaf0280b62792e72c6e831949218d68ee4e7ddfa9b325e51fd1e4ac
|
|
BLAKE2b-256 checksum How to use checksums |
ce5b713889bf8b6c8b474660d116cde3aa73b3f4dbedc20a63f96373b2ed5699
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp311-cp311-musllinux_1_2_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp311-cp311-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 286.2 kB |
| Tags | CPython 3.11 Linux musl 1.2+ x86-64 |
|
SHA-256 checksum How to use checksums |
e76da011264c183d771c05b5d6a9288bb2f346fb012d234ebdadb33d4931d1e7
|
|
BLAKE2b-256 checksum How to use checksums |
3e7bfcda0b31b4acef67bca9c3d79da3abda442574b6b8e218909a052023e5e9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp311-cp311-musllinux_1_2_aarch64.whl
| Download URL | passagemath_kissat-10.8.13-cp311-cp311-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 281.1 kB |
| Tags | CPython 3.11 Linux musl 1.2+ ARM64 |
|
SHA-256 checksum How to use checksums |
6274ee0b836e09244e25e0b0de6d3090a28201e25985898764bd216d3a149ee1
|
|
BLAKE2b-256 checksum How to use checksums |
53a6e0aa840c91f2d78509f7c04a447495c0acfe6f4685e5e940025f95e1b645
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 281.8 kB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f45ba2d1b37b0c450bc7d360680bee1af25268ed1e1abe08224640244d4a0158
|
|
BLAKE2b-256 checksum How to use checksums |
13990a5aa8969dc7180597351b866357c1d37d46ab5e7edbedf15823ff7bf9fd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | passagemath_kissat-10.8.13-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 278.3 kB |
| Tags | CPython 3.11 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
bbea2ec35b51da9deed1a2bff7aa9f3e85be33d865925c5c13cbba4cb6ba5e0f
|
|
BLAKE2b-256 checksum How to use checksums |
51c70eb676de18b9039de81fee581267c765459974df6bfd1081778ad83b0bdc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp311-cp311-macosx_13_0_x86_64.whl
| Download URL | passagemath_kissat-10.8.13-cp311-cp311-macosx_13_0_x86_64.whl |
|---|---|
| Size | 230.6 kB |
| Tags | CPython 3.11 macOS 13.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
5efdcaac83d567cc8d213463c3d73097697e23fe125f836ad96163f9f9da7e27
|
|
BLAKE2b-256 checksum How to use checksums |
2665140656656e4e2afbb38a9815b6f51928297cec60fe90f35d7e8ab562d69d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / passagemath_kissat-10.8.13-cp311-cp311-macosx_13_0_arm64.whl
| Download URL | passagemath_kissat-10.8.13-cp311-cp311-macosx_13_0_arm64.whl |
|---|---|
| Size | 207.6 kB |
| Tags | CPython 3.11 macOS 13.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
a0f003c5d65c305ba713bd73bbdd235357a74326b680f8c0a458cddb6b506d58
|
|
BLAKE2b-256 checksum How to use checksums |
837ea98fd701dfe70a61b8f591e42e6d9dc5cf066ac0fb2adf0de67ff7ba4edc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
