{"package": "pyboolector", "summary": "Python wrapper around the Boolector SMT solver", "pypi_url": "https://pypi.org/project/pyboolector", "piwheels_url": "https://www.piwheels.org/project/pyboolector", "releases": {"3.2.4.19342042739": {"released": "2025-11-13 18:38:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.4.19199673826": {"released": "2025-11-08 22:49:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.4.19199565967": {"released": "2025-11-08 22:38:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.4.20240823.1": {"released": "2024-08-23 23:00:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.4.19": {"released": "2025-11-08 22:32:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20240822.20": {"released": "2024-08-23 00:56:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20240822.1": {"released": "2024-08-22 19:17:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20240305.1": {"released": "2024-03-05 22:53:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20240215.1": {"released": "2024-02-16 00:14:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20231106.1": {"released": "2023-11-07 00:46:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20231101.1": {"released": "2023-11-03 17:58:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20230913.1": {"released": "2023-09-13 18:08:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.3.20230911.5": {"released": "2023-09-11 23:03:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.350174922": {"released": "2022-12-17 01:51:45", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.2.350174618": {"released": "2022-12-17 01:48:09", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.2.20230911.3": {"released": "2023-09-11 19:10:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230110.4": {"released": "2023-01-10 23:46:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230110.2": {"released": "2023-01-10 21:34:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230110.1": {"released": "2023-01-10 20:42:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230105.5": {"released": "2023-01-05 22:02:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230105.4": {"released": "2023-01-05 22:04:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230105.2": {"released": "2023-01-05 21:56:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20230104.1": {"released": "2023-01-04 20:55:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20221010.1": {"released": "2022-10-10 23:59:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20220802.4": {"released": "2022-08-02 17:38:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20220125.14": {"released": "2022-01-25 18:48:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20220119.1": {"released": "2022-01-19 22:27:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20220115.2": {"released": "2022-01-15 22:27:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20220115.1": {"released": "2022-01-15 04:17:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20220114.1": {"released": "2022-01-14 03:51:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20211216.1": {"released": "2021-12-16 23:39:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20211110.2": {"released": "2021-11-10 22:57:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20211110.1": {"released": "2021-11-10 01:44:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20211015.1": {"released": "2021-10-15 23:15:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20210617.2": {"released": "2021-06-17 18:57:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20210616.1": {"released": "2021-06-16 23:28:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20210602.1": {"released": "2021-06-02 17:04:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.2.20210528.1": {"released": "2021-05-28 00:53:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210527.1": {"released": "2021-05-27 21:21:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210520.3": {"released": "2021-05-20 22:29:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210520.2": {"released": "2021-05-20 22:25:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210520.1": {"released": "2021-05-20 22:14:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210519.5": {"released": "2021-05-19 18:13:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210519.4": {"released": "2021-05-19 18:06:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210519.3": {"released": "2021-05-19 18:02:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210519.2": {"released": "2021-05-19 02:34:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210519.1": {"released": "2021-05-19 02:30:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210513.3": {"released": "2021-05-13 21:20:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210513.2": {"released": "2021-05-13 21:06:00", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20210513.1": {"released": "2021-05-13 19:29:49", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20210414.8": {"released": "2021-04-14 20:52:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210414.7": {"released": "2021-04-14 19:26:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20210314.2": {"released": "2021-03-14 23:17:48", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20210314.1": {"released": "2021-03-14 23:11:57", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20210109.1": {"released": "2021-01-09 03:06:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20201201.2": {"released": "2020-12-01 03:39:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20201030.2": {"released": "2020-10-30 04:05:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20201020.2": {"released": "2020-10-20 19:12:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200926.1": {"released": "2020-09-26 17:03:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200925.1": {"released": "2020-09-25 21:41:41", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20200914.2": {"released": "2020-09-14 18:21:00", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20200907.11": {"released": "2020-09-07 17:05:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.10": {"released": "2020-09-07 03:27:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.9": {"released": "2020-09-07 02:16:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.8": {"released": "2020-09-07 02:04:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.7": {"released": "2020-09-07 01:49:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.6": {"released": "2020-09-07 01:45:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.5": {"released": "2020-09-07 01:38:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.4": {"released": "2020-09-07 01:11:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200907.3": {"released": "2020-09-07 01:03:44", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.1.20200906.18": {"released": "2020-09-06 22:36:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.17": {"released": "2020-09-06 22:29:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.16": {"released": "2020-09-06 22:19:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.15": {"released": "2020-09-06 22:13:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.14": {"released": "2020-09-06 22:08:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.13": {"released": "2020-09-06 21:57:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.12": {"released": "2020-09-06 19:00:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.11": {"released": "2020-09-06 18:55:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.10": {"released": "2020-09-06 18:50:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.9": {"released": "2020-09-06 18:42:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.8": {"released": "2020-09-06 18:17:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.7": {"released": "2020-09-06 18:05:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.6": {"released": "2020-09-06 17:58:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.5": {"released": "2020-09-06 17:50:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.4": {"released": "2020-09-06 17:42:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.3": {"released": "2020-09-06 17:37:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.2": {"released": "2020-09-06 17:31:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200906.1": {"released": "2020-09-06 17:19:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200826.2": {"released": "2020-08-26 21:13:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200811.1": {"released": "2020-08-11 22:33:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200804.1": {"released": "2020-08-04 04:03:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200731.1": {"released": "2020-07-31 04:03:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200720.2": {"released": "2020-07-20 22:50:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200714.1": {"released": "2020-07-14 21:50:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200711.3": {"released": "2020-07-11 15:03:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200711.1": {"released": "2020-07-11 14:41:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200616.1": {"released": "2020-06-16 21:10:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200615.1": {"released": "2020-06-15 17:10:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200521.1": {"released": "2020-05-21 01:10:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200520.1": {"released": "2020-05-20 21:10:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200429.2": {"released": "2020-04-29 21:35:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200429.1": {"released": "2020-04-29 19:36:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200423.1": {"released": "2020-04-23 17:36:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200421.2": {"released": "2020-04-21 17:36:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200415.1": {"released": "2020-04-15 02:10:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200414.1": {"released": "2020-04-14 16:10:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200413.1": {"released": "2020-04-13 20:11:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1.20200410.3": {"released": "2020-04-10 23:39:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.2.1": {"released": "2020-09-06 22:35:45", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "3.2.0.20200301.4": {"released": "2020-03-01 02:28:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.0.0.20191119.2": {"released": "2019-11-19 01:51:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.0.0.20191119.1": {"released": "2019-11-19 01:35:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.0.0.20191102.28": {"released": "2019-11-02 19:44:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "3.0.0.1": {"released": "2019-10-14 02:51:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}}}