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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

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

Uploaded CPython 3.12+macOS 13.0+ ARM64

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

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

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

File metadata

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

File hashes

Hashes for passagemath_kissat-10.8.7rc0.tar.gz
Algorithm Hash digest
SHA256 80bebca030a0ae4cbe0b5edf1fd501e0d2053ad912c53d4c711be91e9becec12
MD5 700945392f335d76da0bc5c9a588bb57
BLAKE2b-256 b24a95e208630bba26525d0d65e2563636cff2ea8e38a87a3a9fcc2ac8eb0f81

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 de41c185342cb6d825b489827b15add1c696b05a4f1825b033d03a5b057133a9
MD5 cc28ea80333d3f010c7d6c560ad43a68
BLAKE2b-256 91643e12b001386569ce8e0c32ab1f09c841d5418eb636cc869ae9acc79382e8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 6fb7688051f0444eda5c97bfbecdc5a99a9530ead328debf2db027a39b93bad2
MD5 1dd7a977536a0e5e0e2f326e4344d7ce
BLAKE2b-256 26077a230a8f8f5fd71bf829f297cc1a7d59f32d126225feac19781751ee1a3c

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.7rc0-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.7rc0-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 4b0bd0a8f95abef2913ab90433376dfc9325c5407d1afb30016c18b1fa78afb0
MD5 68da6167526ca201a0ca83fb0e2dbee1
BLAKE2b-256 5f2aedddac8cb42685d8548524fb992fcf72d6cff240209d3472f8e980ac2dde

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 423b2908de70830617d3426f2e0730d5ddd1e97354c3dc81c19d6823eeab4e5d
MD5 825221e690abc93e5c2fcda2c3592f65
BLAKE2b-256 03f24dc3431e4f437a6a105b871fd29f5c8fd7f600e45d12a049a41237a88d94

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 33021df75f21c75c2b378ef60c693acfeae3c663197350976e97c061f1ea6ee4
MD5 b014b3c86e158f65b8fd2a6ce1ba52a6
BLAKE2b-256 b3c576c11b3c6770e976394042fcbb6cadfb8f92585d6e8bdc9a9c4a1552c687

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 032ce61e88dfbfed81ef0cae5e28cab14aaee5af99e01a859d0487220af9e85a
MD5 95e5d11fa2a49d4468c1d8af6a53ce36
BLAKE2b-256 611e66202f38494d16fb8ea63c5b2323a102c0c2dbabb30016ff827ec0f592d0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 7e558688b0deae3d3ace32bf9265eaa5c7e6abede2eb7b6dcc561f93da1a692e
MD5 e30907c81054c078849ad93f57a17d90
BLAKE2b-256 5696c2eafd84fd6adb89525fff857f83e7e7583170c91825b9e9d7e26ef15646

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0f2e45e042640913f8d547d61782c99b54fdb3b277e7b43d4495aa7650954050
MD5 55492cf2bf30e48bf3fa4de23d9c4341
BLAKE2b-256 d8c0c5feedae6c7e7c5fb722e7ef2d13d59de6c7687ff1f4e94d3291b0e5bf88

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.7rc0-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.7rc0-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 74525b3c16d4812ca28a373a40c4b88428c14c687897a2845dd1ffa60b48f656
MD5 253b8b826b764146a5808e88ff349473
BLAKE2b-256 54e2fd49b590a46e5965438e88e3ee1d0b1bf38ad6d460a62540caa15fb00988

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 4f4503c3ac630763c112b69a87dbb185b1c3ef890a957bc3096509a8da7ff16f
MD5 9e4febae8b886d0aa66e48faf56195e7
BLAKE2b-256 cef277e58988db111d04629cf0fc74d6bb386dac0877de1f5bd0ce1762521a3b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 69cf59e77e5f2a4d91e0305eca9cbd5f0ba33fec19ccffebc88af746cff745f5
MD5 f49b98e7fd3b294527a9e518d13d0064
BLAKE2b-256 90a8a5abf18a6e9dfd61b66246fd97f8f5188f53aa49c3c85e6a12a461431780

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 4a44d5c6cff6f52c033d47cfa1a8192114b54475b9b2412e777eef148bf58af6
MD5 eafd4c1d6cec59322b0a7d9f905a0677
BLAKE2b-256 2ade030b22593db3dc095fd73e780679e34b5403bb735d618ac6dca70d8fea47

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 269927a1c33c31ebadf4c06e24483a937e9b5b0c875747892691ecd2a8e103d6
MD5 13041c0bfa95b4642a0c9725b8ac8444
BLAKE2b-256 20bff654f596ce7ccbea92a9df74a2a795d2e0dad5d4b42da5637a691516cfd1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 9660299335fc9f389c44fc38cbffd89433bbeb6d1f340387bf43d03c26796e18
MD5 1d8dfe62d68c3ee15eccc9cab8d5ef3a
BLAKE2b-256 fee906b88035005e1994a44c7e397ead653cb284de5237754f4744e9b364483c

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.7rc0-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.7rc0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 766be1becfd90f48dda6f795fec77cf0fdb4414662bf2c8f092ea00369ee33b0
MD5 292c21c1f82a1a58e63369ad6df593c6
BLAKE2b-256 71811bc3929c515b6d16ee8b8202d30730b6caec3eb4562bb5a3682c4efdec0c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 b9554a2c51d245d846462f0ebc25000f942ab2935271248b255ff1985fdf032e
MD5 7a6b80bf0483541abaa0f5c26434307c
BLAKE2b-256 b65ce5a9f6cdd8df3ec7d44f104b22c791aba0f5dccc1638130eb3383d31e9d6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 a882b4af24f802e8d410665f987c548419477197784d6868629ff1765b8015ad
MD5 2a0a706a556628ff867e64f6cc2ef221
BLAKE2b-256 6625bcf6bd06b848d4cb3a8f145d193b441a3244787e036a90abb309a7c5c4a2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.7rc0-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 4a72a6891d8b16bc1781fd0fc8ce2b6be35bb1e0f5ab2225fb66cd60e71dccf6
MD5 9857bc00146ed545bbc5f7b6054cb81e
BLAKE2b-256 2fb8c07f1698013950d54de789cadd6d64a13fa7ecf9317fd3a00fa7c7eb4116

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