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.7.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.7-cp314-cp314t-musllinux_1_2_x86_64.whl (280.2 kB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

passagemath_kissat-10.8.7-cp314-cp314t-musllinux_1_2_aarch64.whl (274.2 kB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.7-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (276.2 kB view details)

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

passagemath_kissat-10.8.7-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (271.5 kB view details)

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

passagemath_kissat-10.8.7-cp314-cp314t-macosx_13_0_x86_64.whl (223.4 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ x86-64

passagemath_kissat-10.8.7-cp314-cp314t-macosx_13_0_arm64.whl (201.4 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.8.7-cp312-abi3-musllinux_1_2_x86_64.whl (273.2 kB view details)

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

passagemath_kissat-10.8.7-cp312-abi3-musllinux_1_2_aarch64.whl (266.6 kB view details)

Uploaded CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.7-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (269.1 kB view details)

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

passagemath_kissat-10.8.7-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (263.6 kB view details)

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

passagemath_kissat-10.8.7-cp312-abi3-macosx_13_0_x86_64.whl (223.4 kB view details)

Uploaded CPython 3.12+macOS 13.0+ x86-64

passagemath_kissat-10.8.7-cp312-abi3-macosx_13_0_arm64.whl (201.1 kB view details)

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.7-cp311-cp311-musllinux_1_2_x86_64.whl (276.4 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

passagemath_kissat-10.8.7-cp311-cp311-musllinux_1_2_aarch64.whl (270.0 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.7-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (272.0 kB view details)

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

passagemath_kissat-10.8.7-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (266.9 kB view details)

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

passagemath_kissat-10.8.7-cp311-cp311-macosx_13_0_x86_64.whl (222.7 kB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

passagemath_kissat-10.8.7-cp311-cp311-macosx_13_0_arm64.whl (200.5 kB view details)

Uploaded CPython 3.11macOS 13.0+ ARM64

File details

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

File metadata

  • Download URL: passagemath_kissat-10.8.7.tar.gz
  • Upload date:
  • Size: 5.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for passagemath_kissat-10.8.7.tar.gz
Algorithm Hash digest
SHA256 0b8395c51cd9aeb3d7bd7b84f4547c2894ced57c4fa2595b19c2d2189db73e17
MD5 d84b1fa22fab565e6a6e7aa3e9ac036a
BLAKE2b-256 d4d9eb8d309c143d420761b0ae196eaf34d8f44aa4a2eef9cacc33aa7fda104d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c1572495017885d5519198367365ddd66167b08fcc7e916e6f08ad82098e79f6
MD5 ad3a3f4c8b640c1f30ae0cc86db9285b
BLAKE2b-256 52d7354830084a193de8c642f94edfdd7e696013d54a9c74dfc1366d6ee98a8c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 577afaf7c455e7367db0411d301e8a0675b17936d7ec5684ad755e5c7614d02e
MD5 8ab1b27da7f75bc855128cd50d227fdd
BLAKE2b-256 a796e130ffd83807e8131cc4fe65d8f382074900785554037a08436b85549d55

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.7-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.7-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e880a1c88edc01972639dffb6527eb9d9cb2a128d2b8cb5bd082297b24209f29
MD5 9a0f0796b7ccea6b1e76a85a2da4dceb
BLAKE2b-256 0c3549079fe57852f9dd0e1828d64f070639c8dad36b957e45ca54f13a86ce76

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 1fdc12e7ea258561e837752adba9ea6c73c157fea41ae6117ad2d493aa69dec2
MD5 7c3f14275020124ddd4c92468c36726f
BLAKE2b-256 c0fddd3037be0db7456e43a2d85fd0ff0d2d8fa4a897d5332af793f28dfc4065

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 cbe523547af25325b316b6684dbc694bc32f357a4e417073331095a780c31959
MD5 51da84c92471cf9dc57f1d4ef473d67a
BLAKE2b-256 a55f1157f47ab3e1515d97fa77faa049e067f539e731459aece9839f408d5052

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 cde5162b0e27392bfc535cf2935a530a09bf53024c4190a9acea0a828bc72329
MD5 a95b1ece10ff4ffa5b5d43c91c461a59
BLAKE2b-256 8e3e716d75a3f967e4e61714f0e8e0a8f7b20a2a16552ec4e568cc4d90f75823

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 da17f33c41acf6600729333d13a495c792a310a0b7f06ea5cb162581fe1d3edf
MD5 46595499bc97596149a8c0cd695bb9ad
BLAKE2b-256 dbea13ccf6e3b26f70fd5448f7c87d89d576e6bf4a6abf998abdaa8ce999f05a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 58c78b79c90ab4670cbd5a282595f2ab9fdf63c767bb3185c62b2a98335b3910
MD5 a3303684341a7452a61930055f192362
BLAKE2b-256 6a41b653fb6d7fb690ad92b88648730f89ccba23fb8c2177dcded01b14462504

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.7-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.7-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 13d126ae715af990a8c9b94054d473c28f888b3ec5aa4a379c8546cc3a7753cd
MD5 930ca8563366e2e3e31b8262f67fee79
BLAKE2b-256 21b3cf369f1fe298dd6f7f7cf893b9482933041c6fd8df675a213ca40bd76caa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 3ea37b31e18c025d2b43f5bbdc2a8ffb7aa9b5315bb602e4e459223fabb5230c
MD5 52c6bf1d7e8fa7a832a25c34b24cfc5a
BLAKE2b-256 cd76eb2764a92f4f67e569472cfe07fcebacbaa7a24b47c4944e59ab1e9d7880

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 fb36048e72fa9dcd625f91a22f666fa9d8b9e29cf1e79c513836fc3c5e5efb34
MD5 43b56c8ce54a4f71e1e141b0c2dca6bf
BLAKE2b-256 88d368da2e380d47c46508705a29169e61f707881465a763c3c79cae0f725e90

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 fcb8eca1a8b6cb7982a63375ad18bedecec437887c1b63cf17fa6dd8e4e98dc6
MD5 e587dec0b24d71d04344824e8369b190
BLAKE2b-256 b6d2e99209860dff4f034d8221c99b00fa25f1ddd3ca490159f34a4218c840c3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c5efc1aad8c377ab07118219072a2439c6baae6b5cf4cdcf3aa1f47299fcb45f
MD5 0e2a5e9c42e29afc43b6849bd0b180a1
BLAKE2b-256 e77a4334d2a34bf8f5c52ef0635521b4d36636f89ab41518a05b7ffbb9fdcfc5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b6ef83accf056b0ec53ecf983201bf80a008bb730b7dd3b810c9895eaf947c7e
MD5 2fcb8a6bedeb753c8d4d7c87b4ec6773
BLAKE2b-256 ae0b43c5637d3f6f2aa11629185e98a18bb2fa3449927edd06a62eb99de1782c

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.7-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.7-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4e79ba17100e2928c1ae23d9e0fb9e5fedfa0003d2fadb20ee2c6da183173d04
MD5 e07853931e018c3a80742aa9b8a4cff3
BLAKE2b-256 a0737cf6c2e94f9865dd06a1abdceef7a3821993d85a8b3c765a4225a6054049

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 1c17f92e999e72b1ffe4b4d7348f14cf099976407100e6cd6d7c8ef2ef64282b
MD5 6586603c740ccd691c0dbec22f28845a
BLAKE2b-256 94413a8880a340f0bc5d9ace56c12d21630008d3d073f9348a79ad127c05beb3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 eab08aa76a98b9b3a02f8e1ca32dde5ffe94881140d5294f76c4544d13f2c7c5
MD5 3e8ecf5178ad4c717617cac9f76ff4c6
BLAKE2b-256 561141a9e26106aeaeba4f11671d96603abd6e90726f47e6fb7add8a1e90b0bf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 67a034be739835ff94ae3c6f878975b5e88bcc80d740526f9a390a9a2f645c00
MD5 e89e5ef4e976d7c1677fb3b7cb77c842
BLAKE2b-256 6cf02706093c9eae666012b095f8638d25fb138740052b07b02b23aa520fe373

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