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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

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

Uploaded CPython 3.12+macOS 13.0+ ARM64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

File metadata

  • Download URL: passagemath_kissat-10.8.6rc1.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.6rc1.tar.gz
Algorithm Hash digest
SHA256 32e98e7f237b8f84f9167ff80dce634b71983c686ed4d334fe2138404b264099
MD5 57d3d48d55f01d3ce18fc9c9dc55e531
BLAKE2b-256 962f9dc3d086378ea75d6852c56c36cf003e4d25bb1ae9d4c23c11787a5bbf9f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 aab885a37c5727220f2f4086c3a648df948210e1eb31ff3c7db5a24dc1839e74
MD5 bfbf8e146f09fd6b746e8599aa9319c7
BLAKE2b-256 b7a472736012086978c48a5d292bce31eee8fe9b2b077433779d4ae1f059de65

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b97227d2ceb1ccc20bb0fa9e3021a009e665a2d8a6a41a25f5c8f7229e54aae5
MD5 a98777ad77ad30011bc62fdf23db9ed4
BLAKE2b-256 53136dd48a5af52c92ffe3efd523c4ed818b4074cf484c77c1d307bdba31f661

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc1-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.6rc1-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 55bfa2f3dc181195bca0e8a473bf278aafef579e93b17b26246a44f709b6a2e8
MD5 3aa99af5b9120ac87b3770d358baee76
BLAKE2b-256 61cf77339f4dc31aab81e5af1f14afeca475819a0eb05e59adc3af7e3dac0d9e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bc153fa12b7fd0c140db2bda636b66c8a845823ec3cec7f4f7e450f5e577e6db
MD5 8f5e31901ad27f30aebb3b6f514da4b3
BLAKE2b-256 7a86e9b1f6d81c441c3c20942ff98366d5c22611f9de33513b99fffae42a6439

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 9ddd102abacc87ae240a9a891c00d2fa4cb6cb9132b7a69ccbcd0c7a12a23920
MD5 51098900b4f7777586b4d695cb39d38b
BLAKE2b-256 27eba1ed596928bf61e62775c4f2f71737471f9319412642bf54b4af8775dffa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 827f6adf9e6ed35b73dbdd26431ef22e90671f08ab4a9192433d25d3bd067f08
MD5 9538ac1ecb8f50f1d9dee7a1e562d0d4
BLAKE2b-256 bedae6ccfec0ed74cdf03308bf922ef3f8d40bf4868aa4789ddd85be30f3b3b5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 255b3d2abf2e3bdce0c2ee6a90bfb5f291e95bfc7c2fd10621703d5b28ff19fc
MD5 5550541f46d294898d04cf34c8c4c7c5
BLAKE2b-256 e3cb5926c750880e762c5a799c4ba083e476ebdd0facbd65f0ed13035f60ad8a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 89cc4d4dcaf860df21dea886f62df1d231d38aa5f6d7667e88477386f13f0770
MD5 d9fff610076d86f6b7e3fcaafdcfaa0a
BLAKE2b-256 c37078008c8592bc5fd9572ad3737b9f35fbff323258850e4b6b05e8aa9a7f14

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc1-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.6rc1-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 422d8cee32cdcc0d2c22d5fc3a075a8426336b52e7bd9abcbce1729fc976c947
MD5 4325f50b7c2706b969f58729c1bca4ae
BLAKE2b-256 925c89c63577cf82f814a0dc9afb5aeade34a1562e2762d92a35af3d8616ebf0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 20d7611e5ce369f63a7db8bf72acccfda84b89e03db02c9504bd7cc359816ab0
MD5 064e532842ec2512122d426f434f8ddd
BLAKE2b-256 7de0cdf42f0a360b45b6b120d12642eb3785f6f34650e40948be75d43aa57339

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 ab7fa7b7ce3446d2a5ac536546977413e34142527e72adea43bae1b2001b53e5
MD5 059c6b7fe513fd0ff13f3ba163be6f3a
BLAKE2b-256 73e41f5bdb97849d6a3adb676207597eb78ac5ab7520adfcc0fd3800f1e1ff00

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 bdc6f24b0d08b4b2753a9585e3fcd00bcd6ec638e2dc38ead88989482c06d683
MD5 d6c384d2b2f0de69a967c48aec9bd185
BLAKE2b-256 9ba590f74e11a85f5adc2b72172d5926a20105344b065bd1345f4a2acf10a0d3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1c90375f675459f770e88f991082fd7e6445ebec5e9fb28212d2a7ac85ea8c15
MD5 5810c24f294f7af1d897c58940548627
BLAKE2b-256 9b0b8d8eeee66e4d5321d7e3338e3c4177dc66ace66e6d677b58518dc4e7e30f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 338cbf365b7f6698788f0e3edfa30f0042a55eb993e76d44940b5ffad2b18cc5
MD5 810891eeb4a8b642ff75f39a39cdc355
BLAKE2b-256 f177e2f2dc52d8b27e6b65a1333a37d545acd49fad4ca337fc23724a25c56b5b

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc1-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.6rc1-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 34d8056ff55c47bcf000bf335671230732dee7b81279406c6a97e6d665ec0c43
MD5 444f959d6b11426312c8667aac712321
BLAKE2b-256 e1220e24f99095db62722d24a3bb7e480804c3ecf03e9aa4ac0ed77189060c5d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bbf9cca21b8618e6d0c1e77ac72be6197bf04b0c3deeaaf48f9dc627385fc649
MD5 0d78c7bde04ad25426ae5df430216fe4
BLAKE2b-256 50893fbf4fdb108e4f8a3468a07df88a28c85ecc3b8ad93cef5040a5e16a7153

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 f95fed2b5bb07f5ddb7b5cff76b224280949964d3fe04213f37d4922005c75bb
MD5 d2607e8c71d46eb8b6548f7826d4aef5
BLAKE2b-256 bcb81683ee45d03aaaaee8295dcf75e04bf1ccb75b7ee8147d50eebb558f5f8f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc1-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 7f1acd6ac3650cb196e545591ac7b3e6698c6b40560b1089c89ddc65c7a92809
MD5 e1cae68bff757b295b968f8ffc26a13e
BLAKE2b-256 7fcdf6654369435f5d85c0609add6eac8c93aacee7dfbfe8781ab3f7dcf6b96c

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