Binary package “python3-pycosat” in ubuntu lunar
Python bindings to picosat
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.
Source package
Published versions
- python3-pycosat 0.6.3+dfsg-3build1 in amd64 (Release)
- python3-pycosat 0.6.4+dfsg-1build1 in amd64 (Proposed)
- python3-pycosat 0.6.4+dfsg-1build1 in amd64 (Release)
- python3-pycosat 0.6.3+dfsg-3build1 in arm64 (Release)
- python3-pycosat 0.6.4+dfsg-1build1 in arm64 (Proposed)
- python3-pycosat 0.6.4+dfsg-1build1 in arm64 (Release)
- python3-pycosat 0.6.3+dfsg-3build1 in armhf (Release)
- python3-pycosat 0.6.4+dfsg-1build1 in armhf (Proposed)
- python3-pycosat 0.6.4+dfsg-1build1 in armhf (Release)
- python3-pycosat 0.6.3+dfsg-3build1 in ppc64el (Release)
- python3-pycosat 0.6.4+dfsg-1build1 in ppc64el (Proposed)
- python3-pycosat 0.6.4+dfsg-1build1 in ppc64el (Release)
- python3-pycosat 0.6.3+dfsg-3build1 in riscv64 (Release)
- python3-pycosat 0.6.4+dfsg-1build1 in riscv64 (Proposed)
- python3-pycosat 0.6.4+dfsg-1build1 in riscv64 (Release)
- python3-pycosat 0.6.3+dfsg-3build1 in s390x (Release)
- python3-pycosat 0.6.4+dfsg-1build1 in s390x (Proposed)
- python3-pycosat 0.6.4+dfsg-1build1 in s390x (Release)