piwheels

pycryptosat

Bindings to CryptoMiniSat, an advanced SAT solver

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install pycryptosat

Dependencies

• None

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
5.14.7	2026-06-27
5.14.6	2026-06-13
5.14.5	2026-05-24
5.14.4	2026-04-04
5.14.3	2026-04-03
5.14.1	2026-04-03
5.11.23	2024-07-14
5.11.21	2024-02-08
pycryptosat-5.11.21-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.21-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.21-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.21-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.21-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.21-cp37-cp37m-linux_armv7l.whl (5 MB)
5.11.20	2024-02-08
pycryptosat-5.11.20-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.20-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.20-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.20-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.20-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.20-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.20-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.20-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.19	2023-10-21
pycryptosat-5.11.19-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.19-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.19-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.19-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.19-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.19-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.19-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.19-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.18	2023-10-14
pycryptosat-5.11.18-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.18-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.18-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.18-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.18-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.18-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.18-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.18-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.17	2023-10-14
pycryptosat-5.11.17-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.17-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.17-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.17-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.17-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.17-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.17-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.17-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.16	2023-10-12
pycryptosat-5.11.16-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.16-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.16-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.16-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.16-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.16-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.16-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.16-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.15	2023-10-11
pycryptosat-5.11.15-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.15-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.15-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.15-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.15-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.15-cp39-cp39-linux_armv7l.whl (8 MB)
5.11.14	2023-09-21
pycryptosat-5.11.14-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.14-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.14-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.14-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.14-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.14-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.14-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.14-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.12	2023-08-11
pycryptosat-5.11.12-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.12-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.12-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.12-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.12-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.12-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.12-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.12-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.11	2023-06-25
pycryptosat-5.11.11-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.11-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.11-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.11-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.11-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.11-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.11-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.11-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.10	2023-05-02
pycryptosat-5.11.10-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.10-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.10-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.10-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.10-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.10-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.10-cp313-cp313-linux_armv6l.whl (8 MB) pycryptosat-5.11.10-cp313-cp313-linux_armv7l.whl (8 MB)
5.11.9	2023-05-01
5.11.8	2023-03-06
5.11.7	2022-10-25
pycryptosat-5.11.7-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.7-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.7-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.7-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.7-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.7-cp39-cp39-linux_armv7l.whl (8 MB)
5.11.6	2022-10-06
pycryptosat-5.11.6-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.6-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.6-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.6-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.6-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.6-cp39-cp39-linux_armv7l.whl (8 MB)
5.11.5	2022-10-06
pycryptosat-5.11.5-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.5-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.5-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.5-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.5-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.5-cp39-cp39-linux_armv7l.whl (8 MB)
5.11.4	2022-10-03
pycryptosat-5.11.4-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.4-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.4-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.4-cp39-cp39-linux_armv7l.whl (8 MB) pycryptosat-5.11.4-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.4-cp311-cp311-linux_armv7l.whl (8 MB)
5.11.3	2022-10-03
pycryptosat-5.11.3-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.3-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.3-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.3-cp39-cp39-linux_armv7l.whl (8 MB)
5.11.1	2022-09-16
pycryptosat-5.11.1-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.1-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.1-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.1-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.1-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.1-cp39-cp39-linux_armv7l.whl (8 MB)
5.11.0	2022-09-15
pycryptosat-5.11.0-cp311-cp311-linux_armv6l.whl (8 MB) pycryptosat-5.11.0-cp311-cp311-linux_armv7l.whl (8 MB) pycryptosat-5.11.0-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-5.11.0-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-5.11.0-cp39-cp39-linux_armv6l.whl (8 MB) pycryptosat-5.11.0-cp39-cp39-linux_armv7l.whl (8 MB)
0.7.0.dev3 pre-release	2019-12-24
pycryptosat-0.7.0.dev3-cp34-cp34m-linux_armv7l.whl (3 MB) pycryptosat-0.7.0.dev3-cp34-cp34m-linux_armv6l.whl (3 MB) pycryptosat-0.7.0.dev3-cp35-cp35m-linux_armv6l.whl (2 MB) pycryptosat-0.7.0.dev3-cp35-cp35m-linux_armv7l.whl (2 MB) pycryptosat-0.7.0.dev3-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-0.7.0.dev3-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-0.7.0.dev3-cp39-cp39-linux_armv6l.whl (5 MB) pycryptosat-0.7.0.dev3-cp39-cp39-linux_armv7l.whl (5 MB)
0.6.1	2019-12-01
pycryptosat-0.6.1-cp34-cp34m-linux_armv7l.whl (2 MB) pycryptosat-0.6.1-cp34-cp34m-linux_armv6l.whl (2 MB) pycryptosat-0.6.1-cp35-cp35m-linux_armv7l.whl (2 MB) pycryptosat-0.6.1-cp35-cp35m-linux_armv6l.whl (2 MB) pycryptosat-0.6.1-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-0.6.1-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-0.6.1-cp39-cp39-linux_armv6l.whl (5 MB) pycryptosat-0.6.1-cp39-cp39-linux_armv7l.whl (5 MB)
0.1.4	2017-10-13
pycryptosat-0.1.4-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-0.1.4-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-0.1.4-cp35-cp35m-linux_armv6l.whl (2 MB) pycryptosat-0.1.4-cp35-cp35m-linux_armv7l.whl (2 MB) pycryptosat-0.1.4-cp34-cp34m-linux_armv6l.whl (2 MB) pycryptosat-0.1.4-cp34-cp34m-linux_armv7l.whl (2 MB) pycryptosat-0.1.4-cp39-cp39-linux_armv6l.whl (5 MB) pycryptosat-0.1.4-cp39-cp39-linux_armv7l.whl (5 MB)
0.1.3	2017-09-21
pycryptosat-0.1.3-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-0.1.3-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-0.1.3-cp35-cp35m-linux_armv7l.whl (2 MB) pycryptosat-0.1.3-cp35-cp35m-linux_armv6l.whl (2 MB) pycryptosat-0.1.3-cp39-cp39-linux_armv6l.whl (5 MB) pycryptosat-0.1.3-cp39-cp39-linux_armv7l.whl (5 MB)
0.1.2	2017-08-30
pycryptosat-0.1.2-cp37-cp37m-linux_armv6l.whl (5 MB) pycryptosat-0.1.2-cp37-cp37m-linux_armv7l.whl (5 MB) pycryptosat-0.1.2-cp35-cp35m-linux_armv7l.whl (2 MB) pycryptosat-0.1.2-cp35-cp35m-linux_armv6l.whl (2 MB) pycryptosat-0.1.2-cp39-cp39-linux_armv6l.whl (5 MB) pycryptosat-0.1.2-cp39-cp39-linux_armv7l.whl (5 MB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue