Ubuntu

python3-pycosat binary package in Ubuntu Jammy amd64

Jammy (22.04)
amd64
python3-pycosat

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	Pocket	Component	Section	Priority	Version
	2022-03-20 13:19:15 UTC	Published	Ubuntu Jammy amd64	release	universe	python	Optional	0.6.3+dfsg-3build1
Published on 2022-03-20 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Jammy amd64	proposed	universe	python	Optional	0.6.3+dfsg-3build1
Removal requested on 2022-03-20. Deleted on 2022-03-20 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2022-03-17
	2022-03-20 13:19:51 UTC	Superseded	Ubuntu Jammy amd64	release	universe	python	Optional	0.6.3+dfsg-3
Removed from disk on 2022-03-21. Removal requested on 2022-03-21. Superseded on 2022-03-20 by amd64 build of python-pycosat 0.6.3+dfsg-3build1 in ubuntu jammy PROPOSED Published on 2022-01-18 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
	2022-03-21 18:10:08 UTC	Deleted	Ubuntu Jammy amd64	proposed	universe	python	Optional	0.6.3+dfsg-3
Removed from disk on 2022-03-21. Removal requested on 2022-01-18. Deleted on 2022-01-18 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2022-01-17
	2022-01-18 03:29:12 UTC	Superseded	Ubuntu Jammy amd64	release	universe	python	Optional	0.6.3+dfsg-2
Removed from disk on 2022-01-19. Removal requested on 2022-01-19. Superseded on 2022-01-18 by amd64 build of python-pycosat 0.6.3+dfsg-3 in ubuntu jammy PROPOSED Published on 2021-11-04 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
	2022-01-19 06:10:09 UTC	Deleted	Ubuntu Jammy amd64	proposed	universe	python	Optional	0.6.3+dfsg-2
Removed from disk on 2022-01-19. Removal requested on 2021-11-04. Deleted on 2021-11-04 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2021-10-19
	2021-11-04 19:15:28 UTC	Superseded	Ubuntu Jammy amd64	release	universe	python	Optional	0.6.3+dfsg-1build4
Removed from disk on 2021-11-06. Removal requested on 2021-11-05. Superseded on 2021-11-04 by amd64 build of python-pycosat 0.6.3+dfsg-2 in ubuntu jammy PROPOSED Published on 2021-10-17 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
	2021-11-06 00:10:09 UTC	Deleted	Ubuntu Jammy amd64	proposed	universe	python	Optional	0.6.3+dfsg-1build4
Removed from disk on 2021-11-06. Removal requested on 2021-10-17. Deleted on 2021-10-17 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2021-10-16
	2021-10-17 09:11:26 UTC	Superseded	Ubuntu Jammy amd64	release	universe	python	Optional	0.6.3+dfsg-1build3
Removed from disk on 2022-07-24. Removal requested on 2021-10-18. Superseded on 2021-10-17 by amd64 build of python-pycosat 0.6.3+dfsg-1build4 in ubuntu jammy PROPOSED Published on 2021-10-15 Copied from ubuntu hirsute-proposed amd64 in Primary Archive for Ubuntu

Source package

python-pycosat package in Ubuntu