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 --pip-args="--prefer-binary" --spec "passagemath-kissat" sage -sh -c kissat

Finding the installation location of the kissat program:

$ pipx run --pip-args="--prefer-binary" --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 --pip-args="--prefer-binary" --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.5.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.5-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.5-cp314-cp314t-musllinux_1_2_aarch64.whl (274.2 kB view details)

Uploaded CPython 3.14tmusllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.5-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.5-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.5-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.5-cp314-cp314t-macosx_13_0_arm64.whl (201.4 kB view details)

Uploaded CPython 3.14tmacOS 13.0+ ARM64

passagemath_kissat-10.8.5-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.5-cp312-abi3-musllinux_1_2_aarch64.whl (266.6 kB view details)

Uploaded CPython 3.12+musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.5-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (269.1 kB view details)

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

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

Uploaded CPython 3.12+macOS 13.0+ ARM64

passagemath_kissat-10.8.5-cp311-cp311-musllinux_1_2_x86_64.whl (276.4 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ x86-64

passagemath_kissat-10.8.5-cp311-cp311-musllinux_1_2_aarch64.whl (270.0 kB view details)

Uploaded CPython 3.11musllinux: musl 1.2+ ARM64

passagemath_kissat-10.8.5-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.5-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.5-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.5-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.5.tar.gz.

File metadata

  • Download URL: passagemath_kissat-10.8.5.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.5.tar.gz
Algorithm Hash digest
SHA256 3f3167273fee2ecbf244c05cf3f0549e9d48e7da50710a6b621732d1d7b1c913
MD5 d34afc67382e14d31a14df753a94f012
BLAKE2b-256 efc64cfd7f2fc3eb2f12d948adf10b64e82ef0eadad538486480f6bf85c4cb6b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp314-cp314t-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 ec0bccac390e0e3b3405232b2d117bdacf6c1aaa506ec21c5224bed358ef3ed5
MD5 5acfcb9b9311f333ecacbba843aa77b3
BLAKE2b-256 c186004cc9a4c76a0d5fb5a76b28dd4accd873415edbc26f3603a6b91087f4e8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp314-cp314t-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 0ffd82a11ddba82c191e75dc7f5b78ac4551815bfd52c1191776162a3e558759
MD5 9e6b6d00875db013119914e65164e85e
BLAKE2b-256 4b6d84cfda01539695c931b942139f232823dbdd6a47097c3f15f28c4c0ea2c2

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.5-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.5-cp314-cp314t-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 a23a8f4034aefe48f30daf61fc632cbd30147368d5427c8c114a8aa3deb65af4
MD5 b6d8c1a78492ab6c9b752c5edddd0754
BLAKE2b-256 c7de690805849297ec9c28b945b7f92316f466984c123b6cdabd21f9d670e115

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp314-cp314t-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 ef4080fbeec2bc0e12af5ad3118a136e14ea0cb595b77043ed22d06dfb12ace1
MD5 89a4e55c7e55795b74caf7acafc2e22c
BLAKE2b-256 cb62572e2acb2baf6d98de2f39554e3db7971c524bca2774db1a57dad703ff38

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp314-cp314t-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 cd03dcedc44452212049139eec007fcc5e78dfda01cdb49d2df0d2722fc450da
MD5 2a8f2d336e90b933ac3a2280efbf7e63
BLAKE2b-256 fe37a8795283b4cc5f564502abbbca0201290edfde11423bb0bbcd5b7f41608f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp314-cp314t-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 5ab7503d4c105f15ae0b3145aaebdb3ce7722c840ee14f18fff09e30cb7f6b4e
MD5 d9de145c9f353f1eae2ecc825b2ced61
BLAKE2b-256 55064285d726506bea96d4e1d6d2e1cc7e044c14f15119b3e4750adb6d06b914

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp312-abi3-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 8806637ba28ec94d684072aed1d455635a216d35987b2e88141e0763e5eee077
MD5 1e396335aa36a55e604bcdf565686553
BLAKE2b-256 8dc641ad66e25ee42eb848d2ba892beb85b8cd08ea96ace5d28a1b9cb28f2dc2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp312-abi3-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 dc01aea6b1d628ff453cbaa833aa5d383b2d06ad4d7b1dd0ab6bd773ec2818db
MD5 13fcf6478923038948b68a61d9cacb0f
BLAKE2b-256 b7d75aaa7c9c9b87ac5c10acab959661ca6ec3a095e33dd6c144d4e44841ff3e

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.5-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.5-cp312-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 e03e9e8ce99566878c31ba1ec4431c83b0d507cdaf330007883335d4e63bd959
MD5 37bf7f12149a22ec8eac3cd75e987312
BLAKE2b-256 0f739b4d42f17f22192e5875511763aa7e201a69764f370b45858ddaa4186946

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp312-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 7f4d05d0f1bf5e63b6ad38eb43de5e212c928e1261ae3bd773d1a8656ed465c7
MD5 8d52179ad7d69415ceba761788fdb3fd
BLAKE2b-256 b127c860a22c1382f9ff2ecf8d3240ec596d2ae0516a2ecf1f74a95312497c6d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp312-abi3-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 3b5092c4feb22279f95cf1047d3872e41578177fcc908ddf55e4837ebb4c0858
MD5 8ae989682c743c7581dc18864e7509b6
BLAKE2b-256 04aa764cd5aef313c7bcd512ffb82cd83f4bfb960cb9fb8140fcaa9821492f90

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp312-abi3-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 358f41920146ec1f5a790a586ff160f1d46687d9510715362d63ef5fe26724d2
MD5 0b43cd998006cf0b76edf6fbf9daba24
BLAKE2b-256 94ec2c338c9b9aac23a9033d869576d8f64944d9312655d2d4b614f60324a829

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 fb7345c2733ffd9a24344f593b936ef611cfcf28dcc2685d63336ffe7f06e6fe
MD5 36c5e0d74ee4b39d87f870fcb3572c1c
BLAKE2b-256 513384383a98b47a2bad0196068ae881980da204a11b52dbd86d7001e9d1e7cf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp311-cp311-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 50ffae1231acb5808c3a8a56c3ed03963a4117f21e451e0f2667fc3c61caeab5
MD5 bfbee98484ad1ce63304cb7181cf4aa9
BLAKE2b-256 2afe4a04770b214cb790db554b6522bed9e407d469b6c5efd54c134348eee529

See more details on using hashes here.

File details

Details for the file passagemath_kissat-10.8.5-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.5-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Algorithm Hash digest
SHA256 0edd60ae026fb9bb12933d9de70d21a8556ea201fab0c628d1256b81f55ba698
MD5 fc287e5a5eeb0d346d3535ae30bb88e5
BLAKE2b-256 52a1882c7f5d2589c4f7c1eae87968b7e1d05ee84ce4898fcb510a01fd0912b7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Algorithm Hash digest
SHA256 d332f82ea00fb9db723da4fb0a7b8a1ab53ce71edfac650e8b71e8256944ac10
MD5 1ac727fdaa0035a3cc1f87e6e2402c6b
BLAKE2b-256 a8bb47d3af686e8a7694859993f8d7c4be9cef838d6a8f4e81b99a56d514310f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 1547db3be7d6c513d778311c358a044cb025c6c629bd35583c7b42cecea2f0c7
MD5 fd90998d500def992be54ae7c3486023
BLAKE2b-256 d0ac585473d8ed1b804bf2c72039b54081dffcf77a5fe2e439af4445ef877d53

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_kissat-10.8.5-cp311-cp311-macosx_13_0_arm64.whl
Algorithm Hash digest
SHA256 702efc92e2fdf9e90cc5771d3e8b6a7efaa0f98cb2756ea0e0319f7cb93dd8d9
MD5 c85b138c96bb7e36cbbb717b2e3721f8
BLAKE2b-256 9ce16fb9f68cec11576a613a2fc7f828e91c3e6096e7eb2851d09eceb79b0684

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