python3-pycosat binary package in Ubuntu Noble armhf
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 | ||
---|---|---|---|---|---|---|---|---|---|
2024-04-13 07:08:21 UTC | Published | Ubuntu Noble armhf | release | universe | python | Optional | 0.6.6+dfsg-1build1 | ||
|
|||||||||
Deleted | Ubuntu Noble armhf | proposed | universe | python | Optional | 0.6.6+dfsg-1build1 | |||
|
|||||||||
2024-04-13 07:10:37 UTC | Superseded | Ubuntu Noble armhf | release | universe | python | Optional | 0.6.6+dfsg-1 | ||
|
|||||||||
2024-04-14 12:10:16 UTC | Deleted | Ubuntu Noble armhf | proposed | universe | python | Optional | 0.6.6+dfsg-1 | ||
|
|||||||||
2023-12-07 22:25:34 UTC | Superseded | Ubuntu Noble armhf | release | universe | python | Optional | 0.6.4+dfsg-1build2 | ||
|
|||||||||
2024-01-13 06:10:15 UTC | Deleted | Ubuntu Noble armhf | proposed | universe | python | Optional | 0.6.4+dfsg-1build2 | ||
|
|||||||||
2023-11-01 03:55:09 UTC | Superseded | Ubuntu Noble armhf | release | universe | python | Optional | 0.6.4+dfsg-1build1 | ||
|