archful = false
archive_name = "idp_engine-0.12.0.tar.gz"
automode = true
extras = [
    "benchmark-table",
]
license_files_present = false
pypi_name = "idp-engine"
pypi_version = "0.12.0"
python_name = "python-idp-engine"
source = "PyPI"
summary = "IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-dot) language."
url = "https://gitlab.com/krr/IDP-Z3"