Skip to main content
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:

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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.6rc0-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.6rc0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (271.6 kB view details)

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

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

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

Uploaded CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.6rc0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (269.2 kB view details)

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

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

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.6rc0-cp311-cp311-musllinux_1_2_x86_64.whl (276.5 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.6rc0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (272.1 kB view details)

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

passagemath_kissat-10.8.6rc0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (267.0 kB view details)

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

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

File metadata

  • Download URL: passagemath_kissat-10.8.6rc0.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.6rc0.tar.gz
Algorithm Hash digest
SHA256 120169852493db27a111c5a12149b87aa9a0788ce486c57ba5e2e8be5273d505
MD5 cc95a1d95f82c42faec8dc721d83e26a
BLAKE2b-256 44153bae79eab78d60ad53eafbebef623483b2f6f42383c23c0372914bef1452

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 f60409f838177f765c2a089f46e94e8908fd27916a837afbd4b69079b5a729c3
MD5 8291e5d27b4be4e5a29056b2b7cc084e
BLAKE2b-256 28ce28ded683b634f4442c6ca387d6059bbc6aa41b629652c1b1bfc3d1109a2c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 5e2ca1820fca172a37e0c2d23bd44c439159242f4b5eb89d97aa151a71a543a0
MD5 aff79e5cd06834566174733a230e2402
BLAKE2b-256 e1fc1dfed6b258ba3263a77346a448971a8d4ca42d079ee9e57d577d8598b88f

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc0-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.6rc0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 87038e0eea100a80d17de6cbdf5ef0c6a281dcb2ec5367ad8c3f5dfdc655312b
MD5 d6d1ed6a7fb83a2f66363d524bf37fd8
BLAKE2b-256 18f16e3aafed5c09a66e4cda00070a31ca5c9a15a314fe1114c8106e76853264

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 c904eea7b3cf611e6bfc1a9e0ac9b26b6cb73895ee752b405f4f43bc471165c6
MD5 f5680f160ecff91853e5b7389b454018
BLAKE2b-256 29fcc71e6336d0b6682fce071f1f10020f10248d341775a527452d352e0f2ad0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 dd3020f7517c637661ab66ed80a9068af00799606decfd794e43eb3e0923a008
MD5 62b31546a37e6d7b6ca54ba868f94bf9
BLAKE2b-256 b7227ce618a3cb4f44db38ff2f0bb1cc31d4e2a2d6148fbad6307b86cbf2a757

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 784e23f372311634758a9b767514fceec41c6313e105bc5b5297e049fb1f0a92
MD5 467ef9835eaa8e6651f2d593242db1f3
BLAKE2b-256 8d1b8422c8946ba58890d054c16b2101be5cfc617db98dac6194004de7cd563b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 439e835a3c8b5850182493a3c70a500d66bd1e6bf917f07dfebb2e4c42f09759
MD5 49a58127217b920fd0b595d2ffb3a4d7
BLAKE2b-256 ace43594ee6e8de23f26ec0e53d928631c0fe590e7899d0b9163e0d6b50cfb0b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 8af3d5acb23f8ebfc24402f9037576b0ca283115f5cf8cf5c2d394f05a090d75
MD5 43ef02ea9f70e99aa30d476c862eab4f
BLAKE2b-256 304a54b0f7e3443e0caceb24c7c8edf74cee4dbf5e0926e05f7ef0d42bd5bcd5

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc0-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.6rc0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 995042c66c7e866b74fcaf7afefa8d5d782cc80c9a16b1e43434b09364534edf
MD5 0c8272c1a202c77674fe58f899d13871
BLAKE2b-256 da2903ef86ab62c4c41a5c4845ccbdc6c8f7d53c2da6b36fe6e1147ce8fc6506

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 0cc9e72ba8a7ae1719294c229738525bed347af9743508d22d50c1f3b86cd3ea
MD5 8afafd5c7a4c6cc4b14430fb3489ef05
BLAKE2b-256 32a9d1473019e6c185060a04fbd022d2d6dd58a862596edc6b62f136093942df

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 9927f374359d11878632c040f5135bb811241db972f3727e4e8651c939b4616a
MD5 de5b42571ed9b1c65450539f29e90037
BLAKE2b-256 d11214e6486e4ebdb7f6c785add22d65714ffaf7cd139b3c353b65c25d211d0c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 b9828ef27ea0a352688904b1fb4d2b6d429b2ee40c370b404ef7a65174917307
MD5 c37dabe6090578fd9435200d0de06ee8
BLAKE2b-256 7e9737c6d96de1c56d4fb885e2a120a0987fc44f54a14e10eaefbc92bff5d709

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 55558f9e7b5ee0df002af3f24b4dc5e77cfa49e4f512c2d7343d95b31fb0c388
MD5 0f21357276cc62197db8da81798ccbe4
BLAKE2b-256 c2ddfadd08261d8a5186671e827111287ec1957e784434d76adcc2b0609b64b2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 48dc0b9300c806b4ead48c7cc06579315ee8b72271ff2bd60cd38d6c75dac6c4
MD5 569c351e05a5c7a7d778218ab11e75e6
BLAKE2b-256 8299d94c986f86458a2c4c5b02d7fd9554455a386ac82bff16b981bb1b2a2149

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc0-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.6rc0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 883ef603d6bdb38899ea70cc238dbe79d3757bdc54e44e407e62832540aa0df2
MD5 26307d2436039855b58682f506ae2a6b
BLAKE2b-256 e188f16cf70d1f2ec41e6dcffef2953827e9f3a394120f6ce74952d53d9576bc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7fd922dfc309a643678725b08b88b831dd9d001f4be9128fbe7b3041ba2d2dad
MD5 3677711d35d4da3d6da890f1b39c91b0
BLAKE2b-256 36f4587b9557eb5e02ae327231ad3bd2005d11fb59e406cf5db33df89b9338e9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 3fec6f02734ea4c665ac05120831653692b3fe1d9389654c213f79a147a23418
MD5 3fce21789141468e55acbac178af7c97
BLAKE2b-256 7d1b7f2cfa94e3fac23a640ea80e2c65f305b2032ca4bba4cb5a5dc6802626f4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc0-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 91ba8adaeb4d9570aa2472ca2cac8e19f52cef2ede3181b5f5c0154e631d2812
MD5 d058455bab3a3856c725d847a871fc23
BLAKE2b-256 64a1b456750417f78380397420863a72a3cbf7ef7b369e2f50464a56c03a7cbb

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