Skip to main content

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:

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.8.8.tar.gz (5.1 kB view details)

Uploaded Source

Built Distributions

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

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

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmanylinux: glibc 2.17+ x86-64manylinux: glibc 2.28+ x86-64

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

Uploaded CPython 3.14tmanylinux: glibc 2.17+ ARM64manylinux: glibc 2.28+ ARM64

passagemath_kissat-10.8.8-cp314-cp314t-macosx_13_0_x86_64.whl (231.3 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ x86-64

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.8.8-cp312-abi3-musllinux_1_2_x86_64.whl (282.8 kB view details)

Uploaded CPython 3.12+musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.8-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (278.7 kB view details)

Uploaded CPython 3.12+manylinux: glibc 2.17+ x86-64manylinux: glibc 2.28+ x86-64

passagemath_kissat-10.8.8-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (274.7 kB view details)

Uploaded CPython 3.12+manylinux: glibc 2.17+ ARM64manylinux: glibc 2.28+ ARM64

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

Uploaded CPython 3.12+macOS 13.0+ x86-64

passagemath_kissat-10.8.8-cp312-abi3-macosx_13_0_arm64.whl (208.1 kB view details)

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.8-cp311-cp311-musllinux_1_2_x86_64.whl (286.1 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

passagemath_kissat-10.8.8-cp311-cp311-musllinux_1_2_aarch64.whl (280.9 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.8-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (281.6 kB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64manylinux: glibc 2.28+ x86-64

passagemath_kissat-10.8.8-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (278.1 kB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ ARM64manylinux: glibc 2.28+ ARM64

passagemath_kissat-10.8.8-cp311-cp311-macosx_13_0_x86_64.whl (230.6 kB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

passagemath_kissat-10.8.8-cp311-cp311-macosx_13_0_arm64.whl (207.5 kB view details)

Uploaded CPython 3.11macOS 13.0+ ARM64

File details

Details for the file passagemath_kissat-10.8.8.tar.gz.

File metadata

  • Download URL: passagemath_kissat-10.8.8.tar.gz
  • Upload date:
  • 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.8.8.tar.gz
Algorithm Hash digest
SHA256 b4a6661e26928825c4d103e9a570cd29d2b870f1f234ad41a083646189489b12
MD5 80cade2653d46fe67a5dd3539a2cb1dd
BLAKE2b-256 29e8729af762d75045f3c554d1096f5e8e492d2c039281fbc51e5ca0d97baa36

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp314-cp314t-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 641e350a9f87b8af7931ca7d1aba6d7742d96d7a87b44f4ff757723ad2ed04da
MD5 3ba87378c005dabbc6e8dcc1fabe4b81
BLAKE2b-256 9726ff987fc23429b74f28867d7cdbb1e4f626dba22746415e245ecdeb5c8ca4

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp314-cp314t-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 18786f734d9a45f1a431a35de9493ca4b1448e60655fe3abe5da5fa7fc6d26d0
MD5 8c0ecb90646917b7ead16f7d29a7f721
BLAKE2b-256 d132bb86d90bce0f4589702811159e021d11b9131d0dc8d6817dc76c8a96147b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a9af19bf6de97c62e43beea8588e879f24a065930580cdfe093b920a1101f4b3
MD5 589f6ab27ae082775a8209d0bf110ca6
BLAKE2b-256 4c0e1daa0bcfebc7373043cc3dda0cf85ab294bf14fec33cac72de4fdc429ed9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4d77a7a7dc910c732a6305ebc4e52cdcfb611ccc06dcb4b47055e4ebacf7a191
MD5 6086eaca748b5660b8265e495308c69e
BLAKE2b-256 242dc02e2f75b5694e7ba271a5422c54ec2b5bb8f167f11e64ea3c1d16dc9e37

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp314-cp314t-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 dcf4c5e941ccf5b62465712b930151d187000c51f798c68ca7931eaa1d38e038
MD5 66da862b50554435d1c142197d3d873a
BLAKE2b-256 258ab9fed0a8c1f29cbfcc7130953adcd03d7638d9bfd8b6f9398444609bad06

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp314-cp314t-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 4e1216111961cc4fda0aa021e2c1c172750acbd7b8358460ff42edcbb0c00c65
MD5 655ee5ecfcd7110d7bf8a6bfb4c326f6
BLAKE2b-256 8402ff2106f2b1e05bba18ef9ecd9b07e7cdf43bb01ea0769e00820f88d4a39f

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp312-abi3-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 fbbb1d83e09f6319da4c1679d18b31108987ed979500550956fde823332d8649
MD5 c5aa670d88aae17902f1056676b06d2a
BLAKE2b-256 3cfaab3108258ce83be72b69a57300e3c9e3057524936d3910975b97ee22b6d1

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp312-abi3-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 f72571ab8827cdc547d1a15488585b527a8deaf2bdad09f07c570e6cc4897182
MD5 af9100202b0cb42dc8bd49e5e2a24cd7
BLAKE2b-256 03e8867b7306347812c9d23c175f39728b7b6a241cd170cbcae2d3a414ce119e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e96152ffc5a5c85e09240ef9ef6d7f0f21e7772d6f0ceae8c596a627f600bdea
MD5 4aad87968cb9b6564653fb9caaae60b4
BLAKE2b-256 417625aff8d8b089c18394ed38df523c95fb70aa013e548418a96c221602f8f7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 f3c26b03085bd45bcb3d6ca226268270278fa01862a7bb683fdf39493a464fe3
MD5 f2c26b6a12261c6000f71b79247a39e7
BLAKE2b-256 617c8402e0d062532dca4262052f2cceb68dedea25536594a65687bea6297c44

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp312-abi3-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 faf83341237fe4b21ec3328fcb53668be74b74d1fa704c28bdfac15b45ba567f
MD5 42392d362915fc2d738cbaa11081c837
BLAKE2b-256 0fb8342f05b1b98b65fae8da1a40d84475928f62c36396a215f04374d367654e

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp312-abi3-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 2db678faddd753267a62b7622ee46a8fb89d421c35e806c2bcb882cc7c744872
MD5 a590f0aea4827f4786cb4b4bc6edebe2
BLAKE2b-256 28461ac5699c3731e13eadaa20ae7aafde07443152a356a31bf0776be27cfa00

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 547c7bfc7295ccba621f255ca777ed36cc26e8ac285ab25f4674a14d00326b9e
MD5 a85d3e5b535e83614f03a17ad2b6e2bf
BLAKE2b-256 1fd43c10f07d7fd66b64c49493e6ec3805ae71d646382c336f9a35821d48c4a6

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 1d05dd2246936456ed37b3e234f827dd81c2db848f1df05cbb75fd9b8557458c
MD5 e54557136409c68de081553a1280007d
BLAKE2b-256 b3481d286826a6a5d2df4a653db0ec469fba6c419d476c497f3fd8cb8f16dd7b

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 849fb39fa27b4f7ed06406b41fb8af7f7982a8edb686ada533df4c7b4f60eb27
MD5 33589ec64001dcb774285a3388ced33f
BLAKE2b-256 aa67e5896d414bacb3ff500b3096788235f196f9fb2b776fd25665452ae87403

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 6ed7cbf5cd41cb29b8cc283a39d9e0d489d1225b33ddb1805bd035bc828da89a
MD5 aa273442e4778999de1516a648048fad
BLAKE2b-256 1e3d9d30427e332a370e19978358f553b9b369afc102ba06744a8ab3f9439074

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 8788298e98ceb465becef68508f0c088c949685bf392a20ea36a66099a51f49e
MD5 1b1967e50ee39d212aed737e19ef3428
BLAKE2b-256 59afceebfe7e0c0000e24cf5116aad185765c0a195e1cf6ca36195a88b86ac4a

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.8-cp311-cp311-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.8-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 fffa8c40871b11d98307099c310a38196b55b00f577d42ba68394092077969ef
MD5 8e886f99caff98841627b931c2f4024e
BLAKE2b-256 6c7f5eaa1db137265dfd4fd1d2a3d039ec22edb21545569dd98a6a05f2979f15

See more details on using hashes here.

Release history Release notifications | RSS feed

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page