# 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}"