piwheels

pycosat

bindings to picosat (a SAT solver)

Installation

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

pip3 install pycosat

Dependencies

• None

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.6.6	2023-10-03
pycosat-0.6.6-cp311-cp311-linux_armv6l.whl (162 KB) pycosat-0.6.6-cp311-cp311-linux_armv7l.whl (162 KB) pycosat-0.6.6-cp37-cp37m-linux_armv6l.whl (70 KB) pycosat-0.6.6-cp37-cp37m-linux_armv7l.whl (70 KB) pycosat-0.6.6-cp39-cp39-linux_armv6l.whl (160 KB) pycosat-0.6.6-cp39-cp39-linux_armv7l.whl (160 KB) pycosat-0.6.6-cp313-cp313-linux_armv6l.whl (164 KB) pycosat-0.6.6-cp313-cp313-linux_armv7l.whl (164 KB)
0.6.3	2017-11-08
pycosat-0.6.3-cp34-cp34m-linux_armv6l.whl (129 KB) pycosat-0.6.3-cp34-cp34m-linux_armv7l.whl (129 KB) pycosat-0.6.3-cp35-cp35m-linux_armv6l.whl (131 KB) pycosat-0.6.3-cp35-cp35m-linux_armv7l.whl (131 KB) pycosat-0.6.3-cp37-cp37m-linux_armv6l.whl (156 KB) pycosat-0.6.3-cp37-cp37m-linux_armv7l.whl (156 KB) pycosat-0.6.3-cp311-cp311-linux_armv6l.whl (161 KB) pycosat-0.6.3-cp311-cp311-linux_armv7l.whl (161 KB) pycosat-0.6.3-cp39-cp39-linux_armv6l.whl (164 KB) pycosat-0.6.3-cp39-cp39-linux_armv7l.whl (164 KB) pycosat-0.6.3-cp313-cp313-linux_armv6l.whl (164 KB) pycosat-0.6.3-cp313-cp313-linux_armv7l.whl (164 KB)
0.6.1	2015-08-20
pycosat-0.6.1-cp37-cp37m-linux_armv6l.whl (156 KB) pycosat-0.6.1-cp37-cp37m-linux_armv7l.whl (156 KB) pycosat-0.6.1-cp34-cp34m-linux_armv7l.whl (129 KB) pycosat-0.6.1-cp34-cp34m-linux_armv6l.whl (129 KB) pycosat-0.6.1-cp35-cp35m-linux_armv6l.whl (132 KB) pycosat-0.6.1-cp35-cp35m-linux_armv7l.whl (132 KB) pycosat-0.6.1-cp311-cp311-linux_armv6l.whl (162 KB) pycosat-0.6.1-cp311-cp311-linux_armv7l.whl (162 KB) pycosat-0.6.1-cp39-cp39-linux_armv6l.whl (164 KB) pycosat-0.6.1-cp39-cp39-linux_armv7l.whl (164 KB) pycosat-0.6.1-cp313-cp313-linux_armv6l.whl (164 KB) pycosat-0.6.1-cp313-cp313-linux_armv7l.whl (164 KB)

Issues with this package?

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