python3-pycosat - 0.6.6+dfsg-2+b2 main

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.

Priority: optional
Section: python
Suites: byzantium crimson dawn landing 
Maintainer: Debian Med Packaging Team <debian-med-packaging [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 103.4 kB
Architectures: amd64  arm64 

 

Versions

0.6.6+dfsg-2+b2 arm64 0.6.6+dfsg-2+b2 amd64 0.6.6+dfsg-2+b1 arm64 0.6.6+dfsg-2+b1 amd64 0.6.6+dfsg-2 arm64 0.6.6+dfsg-2 amd64