piwheels - sat-toolkit

sat-toolkit

Tool for manipulating CNF formulas

sudo apt install libstdc++6
sudo pip3 install sat-toolkit

Version	Released	Bookworm Python 3.11	Files
0.2.1	2023-08-09
sat_toolkit-0.2.1-cp311-cp311-linux_armv7l.whl (1 MB) sat_toolkit-0.2.1-cp311-cp311-linux_armv6l.whl (1 MB) sat_toolkit-0.2.1-cp39-cp39-linux_armv7l.whl (995 KB) sat_toolkit-0.2.1-cp39-cp39-linux_armv6l.whl (995 KB) sat_toolkit-0.2.1-cp37-cp37m-linux_armv7l.whl (353 KB) sat_toolkit-0.2.1-cp37-cp37m-linux_armv6l.whl (353 KB)
0.2.0	2023-07-13
sat_toolkit-0.2.0-cp311-cp311-linux_armv7l.whl (988 KB) sat_toolkit-0.2.0-cp311-cp311-linux_armv6l.whl (988 KB) sat_toolkit-0.2.0-cp39-cp39-linux_armv7l.whl (874 KB) sat_toolkit-0.2.0-cp39-cp39-linux_armv6l.whl (874 KB) sat_toolkit-0.2.0-cp37-cp37m-linux_armv7l.whl (314 KB) sat_toolkit-0.2.0-cp37-cp37m-linux_armv6l.whl (314 KB)
0.1.2	2023-02-02
sat_toolkit-0.1.2-cp311-cp311-linux_armv7l.whl (883 KB) sat_toolkit-0.1.2-cp311-cp311-linux_armv6l.whl (883 KB) sat_toolkit-0.1.2-cp39-cp39-linux_armv7l.whl (787 KB) sat_toolkit-0.1.2-cp39-cp39-linux_armv6l.whl (787 KB) sat_toolkit-0.1.2-cp37-cp37m-linux_armv7l.whl (282 KB) sat_toolkit-0.1.2-cp37-cp37m-linux_armv6l.whl (282 KB)
0.1.1	2023-02-02

0.1	2023-02-02

Page last updated 2023-09-26 16:50:26 UTC