Gentoo Packages

dev-python/pycosat - 0.6.6 (gentoo-zh)

Search

Package Information

Description:
Python bindings to picosat (a SAT solver)
Homepage:
https://github.com/conda/pycosat
License:
MIT

Ebuild Details

Version EAPI Keywords Slot
0.6.6 8 ~amd64 ~arm64 ~riscv ~x86 0
View Raw Ebuild 
# Copyright 2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

DISTUTILS_USE_PEP517=setuptools
PYTHON_COMPAT=(python3_{11..13})
inherit distutils-r1

DESCRIPTION="Python bindings to picosat (a SAT solver)"
HOMEPAGE="https://github.com/conda/pycosat"
SRC_URI="https://github.com/conda/pycosat/archive/${PV}.tar.gz -> ${P}.tar.gz"

LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64 ~arm64 ~riscv ~x86"

distutils_enable_tests pytest

Manifest for 0.6.6

Type File Size Source URLs
DIST pycosat-0.6.6.tar.gz 80928 bytes https://github.com/conda/pycosat/archive/0.6.6.tar.gz