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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

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

Uploaded CPython 3.12+macOS 13.0+ ARM64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

File metadata

  • Download URL: passagemath_kissat-10.8.6rc2.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.6rc2.tar.gz
Algorithm Hash digest
SHA256 ee7b00385105e65b939f6d9cc771e5fde0b12fae192047cc85d825dd7393e1e2
MD5 4731066df2e9c7f6754033772b3f3825
BLAKE2b-256 9c67ce4a2d044b1ced32c6056412c62cf3e5df5ca178fc5c0b4a8babc8e91f5f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 3c9182c78e9cc135bb3796d391eb5239a272508b41e3b499c297ff50ba827343
MD5 e013648e0b0168b9f439e87b4aa56579
BLAKE2b-256 79dbf6907dff1c16ff828b872cb4f9febcfeab1ccc56c53340b8574597af3dab

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 190862de6258f18b290ce160fe949d0bd394b52c80d30f9e2eba5a84addc7d94
MD5 f143af60669693db681b2037b1a1aac7
BLAKE2b-256 65a8b3b0aa7ac03efc0c70e95b456fabd25e3adca698ed768d8f5260f77296c0

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc2-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.6rc2-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 cca720d86a6d4529624e4753a87b878b900391d0ed535cf4cb7bdcdf89b91f62
MD5 e5c19f613c879b72bf439487532079e8
BLAKE2b-256 ec35017b72ef7c3441620695ba8a3356b34e8fab92b9cde566b278e6ff414c52

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 abeeb18a6075559f4b3e5bcfd5d8251cec35b7b9da1c57368110e48ad5305545
MD5 c8f31dee0192e5159c3c5cf84c112c74
BLAKE2b-256 1eb2711ae7dd4755f16c7bd757b48f78be3f5c39b65de2c37fbe6393d8e3bc4a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 bc1aeaf4fa8b461e157b28111a5727f54c8f3a0322aed6883d3705de0653dec1
MD5 f5494fa3b169c37b1eaa4bd4748376e0
BLAKE2b-256 ea742c1f74ad2e9f9dbc6e2596b45c3c93bdbb133a61a90b3f5c91dc26061b9c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 5a27d75c14afefb697ca6342207456d20f3edfba5a17990dfd1d778713db5272
MD5 2993d15ba136dfefa585f13a16db9197
BLAKE2b-256 79efc8d59391ee8811aa7c30e1f62a630f616894f29e45b0bf27a53502f51022

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 30b230ebdfb60a89460f723d5cdc67cfb5414d7ffca8067c98833c9da0bc5b13
MD5 d1b2e169ef7fa31f4d881612ee370b0f
BLAKE2b-256 1224e47d3a65073ddaf4275c786e000c99cd0ed68f76aee8f106b71731e261dd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 e366e740af971ab52e1dee15416fea76eeaa5a9c6d0ea9c2514a24154a15bbb2
MD5 000a2f868afdd5bf4758b5d8d1b132c2
BLAKE2b-256 71876966c000751789ea07486aaaff41d5876507955ed43141d11de0594130bd

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc2-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.6rc2-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 262e61125f95d32bb22db8a10dec0a9662db900324fccc9fb40085923d00c2e0
MD5 9980b5bace0c0be4b22414645fa0c987
BLAKE2b-256 4ce680a55db9bccf1ba21a7cb6b58c2648a0700aa7d1df8d32ba5af721ff61ed

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 6aa9283dcad8664a435e50e18ff8bb561f58431a1465cbb46928048b7a627a27
MD5 60c9dbbd4d3536bb5bc298516b4dae21
BLAKE2b-256 d089ae8aa0b358fcd47d548a4bc04b0945bfc9d3d2d590b71336bc9d1078f076

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d2a1d6e133fab488b92c804c029d88961d3634b6c405e0cc5143027ac1a9c45e
MD5 e6f972dc9297fdebde5f9b33d296e6b4
BLAKE2b-256 989900c7e66dec76e8da0890c3b616f12d165d9e3a27e8931b3bac047ae38dd4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 c92f6780d00aadbe3bb620a24d5381b9cca7c383f24cd8e8d39560f24468a951
MD5 0bfd1d02449decab6a7dce98d4cdbdca
BLAKE2b-256 237ebf3ec9796fef22ecd03c2a56c279c6f8a648353aeb07ed463199b518952d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c59c00197477df1edb8f7784023a9c5cc4a5e5fe7fd44c4905560d2f46d492cf
MD5 f71b22debf29316199312f1ef92aaf18
BLAKE2b-256 6f26f1f6278fc667ae5f3f6ad7bf2cb56bf7e45a7c5f731fa35d669416fb9044

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 ca20ebe3152c4f28fbea3d3d26ea2cbed425db62e189f2a1ef44a6e33a760131
MD5 10058ac2d69ba9078fb02bea5c73d682
BLAKE2b-256 9bee1bfa662e3f70727f46421786e026a9522ec802414b0c268f2ad5f6683abd

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.6rc2-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.6rc2-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 67896f01323e6c1e026f7ce82521faf67774a95a36e6d97b020494f0a5c8ef6c
MD5 0345c5572a174c121f39806e2d9eecde
BLAKE2b-256 c5f61b8b828f7dd3ddb58cbabbbcf8357b66e4cf0060e8bf445d9e893d8d588a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 a09ebc3c29ad8106e3ac0315120d18c7111a8d105dc991465f1237080503dd41
MD5 83b70e6a059c522766244ef478a8cffa
BLAKE2b-256 1a7690edc6e101530059678a76f9dba110314afebc875ea6f5b7f6913e6b6888

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 2ca6e5bb31582280645daf1d388d0c4b287cb7b28b736df1f87b97b9f4ace1ab
MD5 3ca57a558ee6934c5b4883876555957d
BLAKE2b-256 7acc9f184ccf78a82c059a7cb3e8cf65017f4561715fa30824133d3cea7b2cd8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.6rc2-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 f29ce547427dcd4979ab49af6ef447827aeb3a7d31727ebb91a7a46acf5d9173
MD5 c704f40bd6bfc15bb74acca0c7e06263
BLAKE2b-256 8756d037fb72770d3b423d80bcf38a336e802bbe830254565a91206433797f24

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