piwheels

passagemath-kissat

passagemath: Interface to the SAT solver kissat

Installation

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

pip3 install passagemath-kissat

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Files
10.6.1rc5 pre-release	2025-07-08

10.6.1rc4 pre-release	2025-06-30

10.6.1rc3 pre-release	2025-06-28

10.6.1rc2 pre-release	2025-06-25

10.6.1rc1 pre-release	2025-06-20

10.5.45	2025-07-05

10.5.44	2025-06-28

10.5.43	2025-06-19

10.5.42	2025-06-16

10.5.41	2025-06-05

10.5.40	2025-05-27

10.5.39	2025-05-25

10.5.38	2025-05-22

10.5.37	2025-05-21

10.5.36	2025-05-20

10.5.35	2025-05-19

10.5.34	2025-05-17

10.5.33	2025-05-13

10.5.32	2025-05-11

10.5.31	2025-05-07

10.5.30	2025-05-05

10.5.29	2025-05-02

10.5.28	2025-04-30

10.5.27	2025-04-27

10.5.26	2025-04-26

10.5.25	2025-04-23

10.5.24	2025-04-22

10.5.23	2025-04-02

10.5.22	2025-01-21

10.5.21	2025-01-20

10.5.20	2025-01-12

10.5.19	2025-01-09

10.5.18	2025-01-05

10.5.17	2025-01-01

10.5.16	2024-12-31

10.5.15	2024-12-30

10.5.14	2024-12-29

10.5.13	2024-12-26

10.5.12	2024-12-23

10.5.10	2024-12-18

10.5.9	2024-12-17

10.5.8	2024-12-16

10.5.7	2024-12-14

10.5.6	2024-12-12

10.5.5	2024-12-12

10.5.2	2024-12-07

10.5.1	2024-12-05

10.4.68	2024-12-02

Issues with this package?

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

Page last updated 2025-07-08 06:09:26 UTC