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

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

passagemath_kissat-10.8.10rc0-cp314-cp314t-musllinux_1_2_aarch64.whl (285.2 kB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.10rc0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (285.8 kB view details)

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

passagemath_kissat-10.8.10rc0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (282.7 kB view details)

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

passagemath_kissat-10.8.10rc0-cp314-cp314t-macosx_13_0_x86_64.whl (231.4 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ x86-64

passagemath_kissat-10.8.10rc0-cp314-cp314t-macosx_13_0_arm64.whl (208.5 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.8.10rc0-cp312-abi3-musllinux_1_2_x86_64.whl (282.9 kB view details)

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

passagemath_kissat-10.8.10rc0-cp312-abi3-musllinux_1_2_aarch64.whl (277.7 kB view details)

Uploaded CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.10rc0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (278.8 kB view details)

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

passagemath_kissat-10.8.10rc0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (274.8 kB view details)

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

passagemath_kissat-10.8.10rc0-cp312-abi3-macosx_13_0_x86_64.whl (231.3 kB view details)

Uploaded CPython 3.12+macOS 13.0+ x86-64

passagemath_kissat-10.8.10rc0-cp312-abi3-macosx_13_0_arm64.whl (208.2 kB view details)

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.10rc0-cp311-cp311-musllinux_1_2_x86_64.whl (286.1 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

passagemath_kissat-10.8.10rc0-cp311-cp311-musllinux_1_2_aarch64.whl (281.0 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.10rc0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (281.7 kB view details)

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

passagemath_kissat-10.8.10rc0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (278.2 kB view details)

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

passagemath_kissat-10.8.10rc0-cp311-cp311-macosx_13_0_x86_64.whl (230.6 kB view details)

Uploaded CPython 3.11macOS 13.0+ x86-64

passagemath_kissat-10.8.10rc0-cp311-cp311-macosx_13_0_arm64.whl (207.5 kB view details)

Uploaded CPython 3.11macOS 13.0+ ARM64

File details

Details for the file passagemath_kissat-10.8.10rc0.tar.gz.

File metadata

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

File hashes

Hashes for passagemath_kissat-10.8.10rc0.tar.gz
Algorithm Hash digest
SHA256 876d91c962be42a7417fe7dfc55e3761b37a94058ababb318e1a50091f98f8a5
MD5 443b5ddc25ede2565e870edf6a99b1e0
BLAKE2b-256 27314a7786223f5830cc85cc9271249720ddb624b5dc7f85d08baa2c4be436ff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 82b0fc201e22f67c5417548e85bcb81e77c132da63139961e31699f33a3117a7
MD5 684aadaae44be925d067b4350eb49fd2
BLAKE2b-256 d1dc68849157563165d691dcebd2dd5739ca250b8806d302320d2dff4d504ff6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 464864c28c34e5a74afd2f3da7c301d5c60ba750c5480774e110ea33e0bdbe7a
MD5 95c1bee4fc3c95909b30e7c87ebd5b35
BLAKE2b-256 7973b08c1f2ca6cb1019d75d00ac83b4294a89c5e891cddb0f70d5a9ac6dc8d2

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.10rc0-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.10rc0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 ea7d25cdd2f567ac0873dea32f73b6729db2588aa852a4933d4bb1ab984650a2
MD5 9489ab2e000230ea1d372cda0bd7d99f
BLAKE2b-256 98655160f79a0a36603ddfa0eea8bc7fa7fbfeaab5b41a583b492c2472e0a6e0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 ef18099ceb5a333361bf27785be6ed7d2d467f13bae1bfad7bb2f8340d954e77
MD5 0916afd8a67110a2b6ca8d655434b853
BLAKE2b-256 db0b8ef35083fb1c23cb295230833e476c42b21422a0e31c0aa2055ac68133da

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 b2bf429364ad2679762c09756305b066ac919f8506359a39eb9ba14d93e5be55
MD5 e3ac79d2b0b6a30f0bd314df49401512
BLAKE2b-256 e4876bc371cf1cbef65b9fb2342a513f0058fac550139a5e426660c4a4ec71da

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 4cb50621d43623992418d72d2a48c52dba05764ec5bbe5f5b05d47bd3f476ef8
MD5 db1c2ff1111d28748f0d5f850effb418
BLAKE2b-256 46cf7a691ee71f1b4729f65a5babb243d65bac70bfc144cf4731cf2c85b946c8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 3bb05ef8aeffeab6bfbb6bcf5e978761e6645cf4c65a64a55cc7c32113eb67c7
MD5 e8644afbf9f928914a81751837156bc7
BLAKE2b-256 5576319d0f20a194cf639327d6c0ee43d6673137bd429def02dde80dc51c3a61

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 b90f4c3003cec53c731838620804e9b71575cfe4bb7e68aa7f6d4a8fd433281a
MD5 4bdb991732a3b853b3f2f03eea61eb2e
BLAKE2b-256 57266f19ee2ce653117a58b813b2c6950322e72bd1e7fe251f62d6a8e65f1de4

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.10rc0-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.10rc0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 dbef787643d4bb637bf598a9070c30f873e352bf5cb6d72916da59fd69c7b1bf
MD5 db58006d2a26afe6ddc96baafbc6563e
BLAKE2b-256 76611123e2385332025e740aff1143374f04751f789ee9daa0a67f17bf481781

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bce45f6e48a65cffc7525d94801de9da83468a8993a3b8078dba9e13c6b2d10d
MD5 01302690280fd418bf56311fdfc4a20b
BLAKE2b-256 20a946a7c7cf7639b8d4eab79bab81688d08597cfd35e346754687dd699bf05a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 76728621257fe320d4202c3b03d7348e50b0d639e1c6604c15c55f9084bbc9ca
MD5 e006db224e5433888a869c0b2d7aa37b
BLAKE2b-256 17a9f981d7873615a636072030d69dbfa2c81cfa676054bd3c725b02f61cab6f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 fabd37fe2b28bd7d4fe5e7d1a734982ce96abedf51682d26949e601fe07f5bca
MD5 9684981f6cf1cc1bbadd240f9f8b4284
BLAKE2b-256 88d73c7c5ab22add25bb4a8aa417ac55f69075c19400c4d3b8e203909e4de3bc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 897cb4bbf0e27ec29cfc1eb4f89fa71f50503135b3d882c4248c81dd9d8171a7
MD5 3d3ccf1eaa358b2e52676d091ecce43b
BLAKE2b-256 6e5557fb2ca413c814887d98d071dac5ca7a07347e8c1f7384544e6c9f485dd7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 574deeb41ae56625af70cdeb11b50640ea92d53ecee75db41b8aef6690e17a52
MD5 5762e047f321b6e0744ee7e6eef25fc2
BLAKE2b-256 add12e68ecea5803a1a73794f3460c7f0cc8348211190479690bbcfe7a181d82

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.10rc0-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.10rc0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 5fd630ab8fdb59f9526afe3a4af682e79e3732ebec75e6fb0fe4d10cf3126621
MD5 7804577a395ac88c8f7e9a3cc28b9e89
BLAKE2b-256 0e5553642aa0da1652519556ceb3ae3dceb1ae8796c1057277f020612c78b1cf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 bbf0b3b12ea75667131da452aae04a3c3c62acdeb6629667d61b40cdea3a5d4a
MD5 b70aa1c4992eedf41b20080b4eb6e600
BLAKE2b-256 5ba59f7bf961e7d75fee19fe541ac002ebbbdedf554ac9229d7e5a43a23307ee

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 f2fc9c4dbd04e7dcf3a05f8006a408eb7f9fec0f6723929d9d5a90df293c8cca
MD5 47231fbcccf03573f9bcb1d6d5e46054
BLAKE2b-256 9b3f45b90d6d9cd406db7637748aa9d34394f9dac83991fb997db82de5fc6345

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.10rc0-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 49ec3a0d65f1696343ee1192457423938615141e22192dc5f9e7c3325028268d
MD5 d1f1d0f706b9c930098ddf832f9fcffd
BLAKE2b-256 383785c79d750f4486f30b6137567b864011328b7f77a35ae63fd0bf3bb57784

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