python3-pycosat binary package in Ubuntu Lunar 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-03-02 00:44:24 UTC | Published | Ubuntu Lunar amd64 | release | universe | python | Optional | 0.6.4+dfsg-1build1 | ||
|
|||||||||
Deleted | Ubuntu Lunar amd64 | proposed | universe | python | Optional | 0.6.4+dfsg-1build1 | |||
|
|||||||||
2023-03-02 00:45:45 UTC | Superseded | Ubuntu Lunar amd64 | release | universe | python | Optional | 0.6.4+dfsg-1 | ||
|
|||||||||
2023-03-03 06:10:11 UTC | Deleted | Ubuntu Lunar amd64 | proposed | universe | python | Optional | 0.6.4+dfsg-1 | ||
|
|||||||||
2023-01-01 09:19:52 UTC | Superseded | Ubuntu Lunar amd64 | release | universe | python | Optional | 0.6.3+dfsg-3build2 | ||
|
|||||||||
2023-01-02 12:10:10 UTC | Deleted | Ubuntu Lunar amd64 | proposed | universe | python | Optional | 0.6.3+dfsg-3build2 | ||
|
|||||||||
2022-11-03 03:04:33 UTC | Superseded | Ubuntu Lunar amd64 | release | universe | python | Optional | 0.6.3+dfsg-3build1 | ||
|