piwheels

sat-toolkit

Tool for manipulating CNF formulas

Installation

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

pip3 install sat-toolkit

Dependencies

• numpy

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
0.5.0	2024-07-30
sat_toolkit-0.5.0-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.5.0-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.5.0-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.5.0-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.7	2024-07-25
sat_toolkit-0.4.7-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.7-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.7-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.7-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.6	2024-07-25
sat_toolkit-0.4.6-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.6-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.6-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.6-cp39-cp39-linux_armv7l.whl (1 MB) sat_toolkit-0.4.6-cp313-cp313-linux_armv6l.whl (1 MB) sat_toolkit-0.4.6-cp313-cp313-linux_armv7l.whl (1 MB)
0.4.5	2024-07-24
sat_toolkit-0.4.5-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.5-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.5-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.5-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.4	2024-07-16
sat_toolkit-0.4.4-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.4-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.3	2024-04-09
sat_toolkit-0.4.3-cp37-cp37m-linux_armv6l.whl (454 KB) sat_toolkit-0.4.3-cp37-cp37m-linux_armv7l.whl (454 KB) sat_toolkit-0.4.3-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.3-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.3-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.3-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.2	2024-04-08
sat_toolkit-0.4.2-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.2-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.2-cp37-cp37m-linux_armv6l.whl (455 KB) sat_toolkit-0.4.2-cp37-cp37m-linux_armv7l.whl (455 KB) sat_toolkit-0.4.2-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.2-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.1	2024-03-27
sat_toolkit-0.4.1-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.1-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.1-cp37-cp37m-linux_armv6l.whl (451 KB) sat_toolkit-0.4.1-cp37-cp37m-linux_armv7l.whl (451 KB) sat_toolkit-0.4.1-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.1-cp39-cp39-linux_armv7l.whl (1 MB)
0.4.0	2024-03-27
sat_toolkit-0.4.0-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.4.0-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.4.0-cp37-cp37m-linux_armv6l.whl (449 KB) sat_toolkit-0.4.0-cp37-cp37m-linux_armv7l.whl (449 KB) sat_toolkit-0.4.0-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.4.0-cp39-cp39-linux_armv7l.whl (1 MB)
0.3.5	2024-03-15
sat_toolkit-0.3.5-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.3.5-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.3.5-cp37-cp37m-linux_armv6l.whl (413 KB) sat_toolkit-0.3.5-cp37-cp37m-linux_armv7l.whl (413 KB) sat_toolkit-0.3.5-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.3.5-cp39-cp39-linux_armv7l.whl (1 MB)
0.3.4	2024-02-29
sat_toolkit-0.3.4-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.3.4-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.3.4-cp37-cp37m-linux_armv6l.whl (412 KB) sat_toolkit-0.3.4-cp37-cp37m-linux_armv7l.whl (412 KB) sat_toolkit-0.3.4-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.3.4-cp39-cp39-linux_armv7l.whl (1 MB)
0.3.3	2024-02-29
sat_toolkit-0.3.3-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.3.3-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.3.3-cp37-cp37m-linux_armv6l.whl (415 KB) sat_toolkit-0.3.3-cp37-cp37m-linux_armv7l.whl (415 KB) sat_toolkit-0.3.3-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.3.3-cp39-cp39-linux_armv7l.whl (1 MB) sat_toolkit-0.3.3-cp313-cp313-linux_armv6l.whl (1 MB) sat_toolkit-0.3.3-cp313-cp313-linux_armv7l.whl (1 MB)
0.3.2	2024-02-22
sat_toolkit-0.3.2-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.3.2-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.3.2-cp37-cp37m-linux_armv6l.whl (412 KB) sat_toolkit-0.3.2-cp37-cp37m-linux_armv7l.whl (412 KB) sat_toolkit-0.3.2-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.3.2-cp39-cp39-linux_armv7l.whl (1 MB)
0.3.1	2024-02-13
sat_toolkit-0.3.1-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.3.1-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.3.1-cp37-cp37m-linux_armv6l.whl (400 KB) sat_toolkit-0.3.1-cp37-cp37m-linux_armv7l.whl (400 KB) sat_toolkit-0.3.1-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.3.1-cp39-cp39-linux_armv7l.whl (1 MB)
0.3.0	2024-02-12
sat_toolkit-0.3.0-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.3.0-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.3.0-cp37-cp37m-linux_armv6l.whl (400 KB) sat_toolkit-0.3.0-cp37-cp37m-linux_armv7l.whl (400 KB) sat_toolkit-0.3.0-cp39-cp39-linux_armv6l.whl (1 MB) sat_toolkit-0.3.0-cp39-cp39-linux_armv7l.whl (1 MB) sat_toolkit-0.3.0-cp313-cp313-linux_armv6l.whl (1 MB) sat_toolkit-0.3.0-cp313-cp313-linux_armv7l.whl (1 MB)
0.2.3	2024-01-11
sat_toolkit-0.2.3-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.2.3-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.2.3-cp37-cp37m-linux_armv6l.whl (359 KB) sat_toolkit-0.2.3-cp37-cp37m-linux_armv7l.whl (359 KB) sat_toolkit-0.2.3-cp39-cp39-linux_armv6l.whl (1011 KB) sat_toolkit-0.2.3-cp39-cp39-linux_armv7l.whl (1011 KB)
0.2.2	2024-01-09
sat_toolkit-0.2.2-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.2.2-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.2.2-cp37-cp37m-linux_armv6l.whl (360 KB) sat_toolkit-0.2.2-cp37-cp37m-linux_armv7l.whl (360 KB) sat_toolkit-0.2.2-cp39-cp39-linux_armv6l.whl (1011 KB) sat_toolkit-0.2.2-cp39-cp39-linux_armv7l.whl (1011 KB)
0.2.1	2023-08-09
sat_toolkit-0.2.1-cp37-cp37m-linux_armv6l.whl (353 KB) sat_toolkit-0.2.1-cp37-cp37m-linux_armv7l.whl (353 KB) sat_toolkit-0.2.1-cp39-cp39-linux_armv6l.whl (995 KB) sat_toolkit-0.2.1-cp39-cp39-linux_armv7l.whl (995 KB) sat_toolkit-0.2.1-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.2.1-cp311-cp311-linux_armv7l.whl (1 MB)
0.2.0	2023-07-13
sat_toolkit-0.2.0-cp37-cp37m-linux_armv6l.whl (314 KB) sat_toolkit-0.2.0-cp37-cp37m-linux_armv7l.whl (314 KB) sat_toolkit-0.2.0-cp39-cp39-linux_armv6l.whl (874 KB) sat_toolkit-0.2.0-cp39-cp39-linux_armv7l.whl (874 KB) sat_toolkit-0.2.0-cp311-cp311-linux_armv6l.whl (988 KB) sat_toolkit-0.2.0-cp311-cp311-linux_armv7l.whl (988 KB)
0.1.2	2023-02-02
sat_toolkit-0.1.2-cp37-cp37m-linux_armv6l.whl (282 KB) sat_toolkit-0.1.2-cp37-cp37m-linux_armv7l.whl (282 KB) sat_toolkit-0.1.2-cp39-cp39-linux_armv6l.whl (787 KB) sat_toolkit-0.1.2-cp39-cp39-linux_armv7l.whl (787 KB) sat_toolkit-0.1.2-cp311-cp311-linux_armv6l.whl (883 KB) sat_toolkit-0.1.2-cp311-cp311-linux_armv7l.whl (883 KB) sat_toolkit-0.1.2-cp313-cp313-linux_armv6l.whl (957 KB) sat_toolkit-0.1.2-cp313-cp313-linux_armv7l.whl (957 KB)
0.1.1	2023-02-02
0.1	2023-02-02

Issues with this package?

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