Skip to main content

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.9.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.9-cp314-cp314t-musllinux_1_2_x86_64.whl (289.8 kB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ x86-64

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

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.9-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.9-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.9-cp314-cp314t-macosx_13_0_x86_64.whl (231.3 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ x86-64

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

Uploaded CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.8.9-cp312-abi3-musllinux_1_2_x86_64.whl (282.8 kB view details)

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

passagemath_kissat-10.8.9-cp312-abi3-musllinux_1_2_aarch64.whl (277.6 kB view details)

Uploaded CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.9-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (278.7 kB view details)

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

passagemath_kissat-10.8.9-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (274.7 kB view details)

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

passagemath_kissat-10.8.9-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.9-cp312-abi3-macosx_13_0_arm64.whl (208.1 kB view details)

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.9-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.9-cp311-cp311-musllinux_1_2_aarch64.whl (280.9 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.9-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (281.6 kB view details)

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

passagemath_kissat-10.8.9-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl (278.1 kB view details)

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

passagemath_kissat-10.8.9-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.9-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.9.tar.gz.

File metadata

  • Download URL: passagemath_kissat-10.8.9.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.9.tar.gz
Algorithm Hash digest
SHA256 9c47009191e3c84227dd0b1cfa1a411f11e067962de78fe9f64c0589b9072863
MD5 e0ab340c748fa4e051a4ee5e56f51c3e
BLAKE2b-256 e9cee554d1c31232f4a2633b472ee8d5950498c583808f8609ad997cc2e94d99

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp314-cp314t-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 06792df326451127a99ddcec8cd8ca02d596cf30b7d15f7bbfc5389fb1abfaac
MD5 296e9eb047ac25da8055d0583a2dde82
BLAKE2b-256 7d0745bf68e45be8df6b95c0b026b85c52a151539cff65f1c757b082ec322733

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp314-cp314t-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 4f11be982895b048ae37fede264cd15044a4b6ffdde8a1d740cc9ceb1c3de1f8
MD5 cb3e62f0b5e7ff59e295376d186f5347
BLAKE2b-256 79cbf438a238d899799d0cf6777cbc8068fa48d7e7ff78759972c28598b497f6

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-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.9-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 95a453354762f632b08fdd9a9eac1e65f850ddf6a3e337fd65e0e82bbe424b78
MD5 36b1d63047b30c8273adc8ea4647b58b
BLAKE2b-256 6a3d3172e8f7133a5797dcb05a950768fbaf163ccba813de3a6218c18f071da3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 b9d636e685197c47678c205414f62bf20752fe760aa74bcf115c2d1039bc44cd
MD5 62909842b9bcdd8a7ffbbf5d203753a5
BLAKE2b-256 6f5862a57bd7a7a6943e03330634a4af610d20e408d53460c6e9d1baf29f3b26

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp314-cp314t-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 7263a7b3ca89a2b4bbf11849a4b08b06a6e8995db03220213ea16235a8285b3b
MD5 155f06320178ac08aa8fe007f74daa4b
BLAKE2b-256 1b8093195534ec86b4ef02816ccbc382c58940a853aa6eee6cab2d1b6e01011f

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp314-cp314t-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 e037ad091a59a7cc861567f75a8d01870ec26dfaa2cb87c883a7a339325d55ab
MD5 826c3965b10acae64696c5cb14d1c325
BLAKE2b-256 4e87c9e5fb261e771c27076d1373f2afaeac6db66d1d4d1a3e1853a6834f74c1

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp312-abi3-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1da3477592c8ac8f3b8817549b468a773eca6427e7d699a28f3dd570cacdcb65
MD5 3925b5ee2f2879767447c7aa2cfbbe60
BLAKE2b-256 31011c7e59fdd5dfbac639db841815f64f95abaeca947c4d9e5d81c932090c54

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp312-abi3-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c27c92093e5626fd689567da3455344f8e0b489ec3284d3ed5aa11f20692463e
MD5 f042b120ec5ac74a94d3c7451c113258
BLAKE2b-256 80beafe8a642efa260cea6a1de43e03220ba0b129a0d4fcce11c1fb7364fb4ba

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-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.9-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 d173a4a2749a3fdf5b6f29cdc6c0eecd20b5c9ba51c72362d5ef5b9bdf4c6e8d
MD5 5105a07b66b0f8d5f4b07b13b01a44a1
BLAKE2b-256 fee63b0dfd71b02e671b29aaf4d9013f5a97f8232e3397241c1bfd687fe6a744

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 9f0c3b3672019c630df169f139929c289137788d222e7c96375d75acdd87666f
MD5 24460422d4039bf4a2dba064eab24347
BLAKE2b-256 e69cc1c5e66198226058da1932c38c286612aeccbe6b2681ddf99fd40ebb9798

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp312-abi3-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 9f3a4a0eade4924264643ac637ed8419e86ea8999f2edad1db5d5feab9f75f98
MD5 d314f5e982f2e6a0aad4241740eebd6b
BLAKE2b-256 6c2bc632f72087d24712337499c499eb2641a055499d55517d6e7aa4d29700b8

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp312-abi3-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 fd1f9a1f736c6aed980ed9a80b57a6680bd80034d1c04d7229e2c207596ee2be
MD5 cf42fa67fb753afdc3316aeafe22bf6d
BLAKE2b-256 71aea2346fd4c512324995c133c5e1a124f1be3b0fbfdbe622d4b77a212bd9e9

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 82362b2133c2dc5a80fecea1fcdd21c4eafe5c128eb235261f16969fded4ee61
MD5 315c7401cab7ee4ce8b3093fa7fb8221
BLAKE2b-256 9ad267281efb35eac62b70769f18b627ff9edec04385941f63f6f160d99c5048

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp311-cp311-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 bafddfedb53c629df7323d2a8891853bf7fc7a91dc7255d03d7bfdce41ad0139
MD5 9c067d5a94f157800de5ab8bf352d4f8
BLAKE2b-256 195e44367cd154a757a32f8a09ce521da3b7a5a6ff8fabfdbce6277a2704e35d

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-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.9-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 425b92404d6ec080030eee8524ab5cd362b7ffb6f197c47e630d651c0d761f12
MD5 47d1a689525c305fad53382c92927b6e
BLAKE2b-256 2f952b38ef28fcbc8cdd2c8c643e4e619c0468ebda1ef025afc3bb3f86f21b56

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 6b7b7fce63149ff9679637cd196b8301424bb27ef90ca7d4dbab5686d5313ffb
MD5 d36097c2b0a1aedfde007d4ec208ab42
BLAKE2b-256 abece32c89d28337c14f357aae3be402605f14f5f690bfc7b825c93245a8a881

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 30df9a52be9dc0bf8125aba453a5121dfcb979183fdf5de0ddb55e13aa55468d
MD5 3412d6338b4dd212262d9e284ee88c49
BLAKE2b-256 388332c4c93ccfee2c1c329f9d6b9a5b877f11b0dfe3d22e4e11804f6d31d30b

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.9-cp311-cp311-macosx_13_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_kissat-10.8.9-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 4fd3c92877ac4b6009a4ffc95e36714623fa9ace73419d0378fdb345eb5ff24e
MD5 a8569cc24734c5d1e4e5f0ce1fbfdd0a
BLAKE2b-256 7eba812150f5e0d6d0a86e427792e0e2e40692ee7f49b5327715212ed9bc4c3e

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