piwheels

PyBoolector

Python wrapper around the Boolector SMT solver

Installation

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

pip3 install pyboolector

Dependencies

• None

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
3.2.4.19342042739	2025-11-13
3.2.4.19199673826	2025-11-08
3.2.4.19199565967	2025-11-08
3.2.4.20240823.1	2024-08-23
3.2.4.19	2025-11-08
3.2.3.20240822.20	2024-08-23
3.2.3.20240822.1	2024-08-22
3.2.3.20240305.1	2024-03-05
3.2.3.20240215.1	2024-02-16
3.2.3.20231106.1	2023-11-07
3.2.3.20231101.1	2023-11-03
3.2.3.20230913.1	2023-09-13
3.2.3.20230911.5	2023-09-11
3.2.2.350174922	2022-12-17
3.2.2.350174618	2022-12-17
3.2.2.20230911.3	2023-09-11
3.2.2.20230110.4	2023-01-10
3.2.2.20230110.2	2023-01-10
3.2.2.20230110.1	2023-01-10
3.2.2.20230105.5	2023-01-05
3.2.2.20230105.4	2023-01-05
3.2.2.20230105.2	2023-01-05
3.2.2.20230104.1	2023-01-04
3.2.2.20221010.1	2022-10-10
3.2.2.20220802.4	2022-08-02
3.2.2.20220125.14	2022-01-25
3.2.2.20220119.1	2022-01-19
3.2.2.20220115.2	2022-01-15
3.2.2.20220115.1	2022-01-15
3.2.2.20220114.1	2022-01-14
3.2.2.20211216.1	2021-12-16
3.2.2.20211110.2	2021-11-10
3.2.2.20211110.1	2021-11-10
3.2.2.20211015.1	2021-10-15
3.2.2.20210617.2	2021-06-17
3.2.2.20210616.1	2021-06-16
3.2.2.20210602.1	2021-06-02
3.2.2.20210528.1	2021-05-28
3.2.1.20210527.1	2021-05-27
3.2.1.20210520.3	2021-05-20
3.2.1.20210520.2	2021-05-20
3.2.1.20210520.1	2021-05-20
3.2.1.20210519.5	2021-05-19
3.2.1.20210519.4	2021-05-19
3.2.1.20210519.3	2021-05-19
3.2.1.20210519.2	2021-05-19
3.2.1.20210519.1	2021-05-19
3.2.1.20210513.3	2021-05-13
3.2.1.20210513.2	2021-05-13
3.2.1.20210513.1	2021-05-13
3.2.1.20210414.8	2021-04-14
3.2.1.20210414.7	2021-04-14
3.2.1.20210314.2	2021-03-14
3.2.1.20210314.1	2021-03-14
3.2.1.20210109.1	2021-01-09
3.2.1.20201201.2	2020-12-01
3.2.1.20201030.2	2020-10-30
3.2.1.20201020.2	2020-10-20
3.2.1.20200926.1	2020-09-26
3.2.1.20200925.1	2020-09-25
3.2.1.20200914.2	2020-09-14
3.2.1.20200907.11	2020-09-07
3.2.1.20200907.10	2020-09-07
3.2.1.20200907.9	2020-09-07
3.2.1.20200907.8	2020-09-07
3.2.1.20200907.7	2020-09-07
3.2.1.20200907.6	2020-09-07
3.2.1.20200907.5	2020-09-07
3.2.1.20200907.4	2020-09-07
3.2.1.20200907.3	2020-09-07
3.2.1.20200906.18	2020-09-06
3.2.1.20200906.17	2020-09-06
3.2.1.20200906.16	2020-09-06
3.2.1.20200906.15	2020-09-06
3.2.1.20200906.14	2020-09-06
3.2.1.20200906.13	2020-09-06
3.2.1.20200906.12	2020-09-06
3.2.1.20200906.11	2020-09-06
3.2.1.20200906.10	2020-09-06
3.2.1.20200906.9	2020-09-06
3.2.1.20200906.8	2020-09-06
3.2.1.20200906.7	2020-09-06
3.2.1.20200906.6	2020-09-06
3.2.1.20200906.5	2020-09-06
3.2.1.20200906.4	2020-09-06
3.2.1.20200906.3	2020-09-06
3.2.1.20200906.2	2020-09-06
3.2.1.20200906.1	2020-09-06
3.2.1.20200826.2	2020-08-26
3.2.1.20200811.1	2020-08-11
3.2.1.20200804.1	2020-08-04
3.2.1.20200731.1	2020-07-31
3.2.1.20200720.2	2020-07-20
3.2.1.20200714.1	2020-07-14
3.2.1.20200711.3	2020-07-11
3.2.1.20200711.1	2020-07-11
3.2.1.20200616.1	2020-06-16
3.2.1.20200615.1	2020-06-15
3.2.1.20200521.1	2020-05-21
3.2.1.20200520.1	2020-05-20
3.2.1.20200429.2	2020-04-29
3.2.1.20200429.1	2020-04-29
3.2.1.20200423.1	2020-04-23
3.2.1.20200421.2	2020-04-21
3.2.1.20200415.1	2020-04-15
3.2.1.20200414.1	2020-04-14
3.2.1.20200413.1	2020-04-13
3.2.1.20200410.3	2020-04-10
3.2.1	2020-09-06
3.2.0.20200301.4	2020-03-01
3.0.0.20191119.2	2019-11-19
3.0.0.20191119.1	2019-11-19
3.0.0.20191102.28	2019-11-02
3.0.0.1	2019-10-14

Issues with this package?

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