Gentoo Packages

dev-python/foe - 0.0.11 (pypi)

Search

Package Information

Description:
A saturation based theorem prover with proof search directed by a learned embedding.
Homepage:
https://github.com/lexpk/foe

Ebuild Details

Version EAPI Keywords Slot
0.0.11 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="A saturation based theorem prover with proof search directed by a learned embedding."

HOMEPAGE="https://github.com/lexpk/foe"
LICENSE=""
SRC_URI="https://files.pythonhosted.org/packages/e3/6e/aecaf1ba5d27673570a89448a78f259451ce30821037a6f61996ad9a25de/${REALNAME}-${REALVERSION}.tar.gz"
SOURCEFILE="${REALNAME}-${REALVERSION}.tar.gz"
RESTRICT="test"

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

IUSE="experiments test"
DEPENDENCIES=">=dev-python/lark-1.0[${PYTHON_USEDEP}]
	dev-python/torch[${PYTHON_USEDEP}]
	experiments? ( >=dev-python/ipykernel-6.20.2[${PYTHON_USEDEP}] )
	test? ( >=dev-python/pytest-6.2.5[${PYTHON_USEDEP}] )"
BDEPEND="${DEPENDENCIES}"
RDEPEND="${DEPENDENCIES}"

USE Flags

experiments
test

Dependencies

RDEPEND

>=dev-python/lark-1.0[${PYTHON_USEDEP}]
	dev-python/torch[${PYTHON_USEDEP}]
	experiments? ( >=dev-python/ipykernel-6.20.2[${PYTHON_USEDEP}] )
	test? ( >=dev-python/pytest-6.2.5[${PYTHON_USEDEP}] )

BDEPEND

>=dev-python/lark-1.0[${PYTHON_USEDEP}]
	dev-python/torch[${PYTHON_USEDEP}]
	experiments? ( >=dev-python/ipykernel-6.20.2[${PYTHON_USEDEP}] )
	test? ( >=dev-python/pytest-6.2.5[${PYTHON_USEDEP}] )

Manifest for 0.0.11

Type File Size Source URLs
DIST foe-0.0.11.tar.gz 18420 bytes https://files.pythonhosted.org/packages/e3/6e/aecaf1ba5d27673570a89448a78f259451ce30821037a6f61996ad9a25de/foe-0.0.11.tar.gz