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.6.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.6-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.6-cp314-cp314t-musllinux_1_2_aarch64.whl (274.2 kB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.6-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.6-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.6-cp314-cp314t-macosx_13_0_x86_64.whl (223.5 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ x86-64

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.8.6-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.6-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.6-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.6-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.6-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.6-cp312-abi3-macosx_13_0_arm64.whl (201.1 kB view details)

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.6-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.6-cp311-cp311-musllinux_1_2_aarch64.whl (270.0 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.6-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.6-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.6-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.6-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.6.tar.gz.

File metadata

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

File hashes

Hashes for passagemath_kissat-10.8.6.tar.gz
Algorithm Hash digest
SHA256 04b448cd69ee8239f7f71f165154f1c8f5be08b2ee3065aebc32eb474c1b907a
MD5 380a7bd5e462ccc753e73fc7ce589cfa
BLAKE2b-256 3d5e8d02f6070cacd20431caa18ca6aadafcbe5a5c9784044b37170f6863b21d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7c1bfcc077baa2ffb700b3441efe54b592b0ef62bcad46f43d3882b8b572e59e
MD5 5335794af7586953232e516a613d6564
BLAKE2b-256 d25f59475fa40795dc556a43dc41e4d9cf2fbe047ff5d5b4772867f06ba95d88

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 e17ba4f8c84f24e6b4fbf70c84843c5220fcca4d15c4f085604cd4431dbe789d
MD5 5d9d18942d57ab9a593e17d7e09b6a0d
BLAKE2b-256 f8889c40d7a554915c979721175db6ef42b95b05fc42dbc86589e71e69760205

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6-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.6-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a3ea59532650bb5fffa2891b9c3811b2c267ce0efa9efe0a768152e440f103b5
MD5 e145b3c4f937cdebdbab6bd3b81c4c80
BLAKE2b-256 902c72f1b8feda4e4f4911c3bfd6d083a3bd3f63993b4466025c5717b63aaaee

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 5cb9bf991c3e95c1f7e163bbc014160950b4b77d97574984e2acf6a739043f56
MD5 78693c16084c167f820eb590f7c88daf
BLAKE2b-256 b01e6be736b75f19cab63c70d3531e85f63142d0eea483fdb2491d71c03d14c5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 58d822713d48a13859abcc8a1211f2303c98e6e0ca762c5cd37d6536155f0a01
MD5 69d1832f834f1d0f29aeaf51ffaaa416
BLAKE2b-256 fbf35734659fdf2308262b568203f6ef4ed8ec9b6caa2e6a83d0347317a88971

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 ccecd5d094b7a779e8122abf86035611c749096fb2d329a9910735fe30e305ff
MD5 4652b43b68617953b23aa7a3149293c1
BLAKE2b-256 afd48fda3d72b3730b1a3b2f5b33b7e6f5ff6daf0b3e445c61929d97d2c0e64c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c110c8eb903970842676a092388f61e310395188ce5f9685c47b1e4d103b332d
MD5 830ff3b174435c1a6ba37c54e0c4937c
BLAKE2b-256 567f892e35a2ac4855319ab60f321ac8c7348401491a4cd3e821d74bcb976ab1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 cf10b7112a3cd80999c34c92c3a9fe7679afe5eb89f0760529b9cb56ce819cd3
MD5 c37ea1487ca6a97562d86364c780d9f2
BLAKE2b-256 236b81c03bc9aff657dd1d362b2f9da2cbe33e6734da5824bf4f56944d6e787d

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6-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.6-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 dadb644d4de2243b6bc6d90c4202c8cfc047c7405bceac3f6c6b1cc933169fbd
MD5 39c835d6ee0094c87788ec7c1646e7c1
BLAKE2b-256 e674efa96150f91c3042664cfc15af2a9d7872a29d963375b1e93f664494f23b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9d9bfb8fb1205032c07e9244428899814adc0bc0c3b5765322b74ce43810c5f1
MD5 2cf9dbfb0e7bad1c53993ee765c007cd
BLAKE2b-256 1684759ba3ad263c7ba8866151324ad0038988c22fdb357a3a8b8c4b753ae633

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 2af6bcdc94c390d0d59d9ebbad5e8095f60cc6df420b97c62d586a268f9f2310
MD5 aa284748dc00267f3fc5127571bc875d
BLAKE2b-256 75bf92c5776b2a3d42879d8e7c238c79aef28784adb82c4c4ac9bbf20e48443b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 8c0d50edabc71affd40471c299856d85f059fcc86b99a1087d8e4795365255a8
MD5 4293553594662491259fa38227ad5db1
BLAKE2b-256 cd2015e761891f2f00018b84405e86f44ae8cc592d19a60c6cc4dd786460006a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7b4386a550dc5861168a77b26d2a218c7fd556ef97def31471008e6cbed8c4ed
MD5 665c7e3805f37c2352297c0863f9d12b
BLAKE2b-256 62c6c672df0055e99835d8610c2514037057d4d76fab0e6cf3ff20713fdff89f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 7e5655a05f3a6ae6a1bedceb68daf1c22050987b81f4ba55cb44bb005a8c3d3e
MD5 41d5947a21646f7050d1d989a5e515a6
BLAKE2b-256 0072adefd7eab311fdfda08ee67ce27058f49ee7061ed0773ba8bc230659678d

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6-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.6-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 25cc1bd63d4cd791369314e2bf2643400fb46ee3ea638382050fba377981f42b
MD5 78883d1ac36ced6ef23a087064a19f41
BLAKE2b-256 0114d4040d5f5f3f2d3589d69c9ad08e51ccb647526e947f3e62fefeef103d92

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 16d70b1b010e74ba5186c957e6afefb0f663ffb0f2cf90d114304aef77fc202b
MD5 d8a022f618eb24ef2d7c9feddb58e6df
BLAKE2b-256 af1bb159d12004a3d8bdf3c1b621e048930249ca2848202cbb070344c794a42f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 9a03888aee850f39202cb1400ba6fa24fa81aba07c25966518107894360fc4a9
MD5 7442410b88455e5cd412bbe67d2d55fb
BLAKE2b-256 d64d8c2ff7cae8685e8da3a38937d41e9ab4ac23c7f41a83b719e15f7e5d215e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 80bf6284e9d38ce9ec7622db913bd83f3fb51f2453d33af7ee61ae4f1450e012
MD5 78968d0f67112ff56d90d61524f62955
BLAKE2b-256 f351281cb46fab5547de35855c02f782f933924861ddfbd21511bc5ded87b256

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