piwheels

pyPicosat

Picosat SAT-Solver Wrapper

Installation

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

pip3 install pypicosat

Dependencies

• None

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
965.1708010052	2017-08-01
960.1708010010	2017-08-01
960.1610040816	2016-10-04
960.161003	2016-10-03
960.160930	2016-09-30
960.160919	2016-09-19
960.160914	2016-09-14
960.151030	2015-10-30
960.dev1610040809 pre-release	2016-10-04
960.dev1610040808 pre-release	2016-10-04
960.dev1510301911 pre-release	2015-10-30
960.dev1510262107 pre-release	2015-10-26
960.dev1510251404 pre-release	2015-10-25
960.dev1510241204 pre-release	2015-10-24
960.dev1510241149 pre-release	2015-10-24
960.dev1510241145 pre-release	2015-10-24

Issues with this package?

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