Gentoo Packages

dev-python/LinSATNet - 0.1.3 (pypi)

Search

Package Information

Description:
LinSATNet offers a neural network layer to enforce the satisfiability of positive linear constraints to the output of neural networks. The gradient through the layer is exactly computed. This package now works with PyTorch.
Homepage:
https://github.com/Thinklab-SJTU/LinSATNet
License:
MIT

Ebuild Details

Version EAPI Keywords Slot
0.1.3 8 ~amd64 ~x86 0
View Raw Ebuild 
# automatically generated by g-sorcery
# please do not edit this file

EAPI=8

REALNAME="${PN}"
LITERALNAME="${PN}"
REALVERSION="${PV}"
DIGEST_SOURCES="yes"
PYTHON_COMPAT=( python{3_11,3_12,3_13,3_14} )
DISTUTILS_USE_PEP517=standalone

inherit python-r1 gs-pypi

DESCRIPTION="LinSATNet offers a neural network layer to enforce the satisfiability of positive linear constraints to the output of neural networks. The gradient through the layer is exactly computed. This package now works with PyTorch."

HOMEPAGE="https://github.com/Thinklab-SJTU/LinSATNet"
LICENSE="MIT"
SRC_URI="https://files.pythonhosted.org/packages/source/${REALNAME::1}/${REALNAME}/${REALNAME}-${REALVERSION}.tar.gz"
SOURCEFILE="${REALNAME}-${REALVERSION}.tar.gz"
RESTRICT="test"

SLOT="0"
KEYWORDS="~amd64 ~x86"

IUSE=""
DEPENDENCIES="dev-python/torch[${PYTHON_USEDEP}]"
BDEPEND="${DEPENDENCIES}"
RDEPEND="${DEPENDENCIES}"

Dependencies

RDEPEND

dev-python/torch[${PYTHON_USEDEP}]

BDEPEND

dev-python/torch[${PYTHON_USEDEP}]

Manifest for 0.1.3

Type File Size Source URLs
DIST LinSATNet-0.1.3.tar.gz 16522 bytes https://files.pythonhosted.org/packages/source/${REALNAME::1}/LinSATNet/LinSATNet-0.1.3.tar.gz