archful = false
archive_name = "pynever-1.2.0.tar.gz"
automode = true
extras = [
    "docs",
]
license = "GPL-3.0-or-later"
license_files_present = true
pypi_name = "pynever"
pypi_version = "1.2.0"
python_name = "python-pynever"
source = "PyPI"
summary = "API for the design, training and verification of neural networks."
url = "https://neuralverification.org"