python3-pycosat binary package in Ubuntu Mantic amd64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-04-25 12:10:09 UTC | Published | Ubuntu Mantic amd64 | release | universe | python | Optional | 0.6.4+dfsg-1build1 | ||
|