Metadata-Version: 2.1
Name: auto-verify
Version: 0.0.1
Summary: Automated verification of neural network properties
Author: Corné Spek
Project-URL: Homepage, https://github.com/ADA-research/auto-verify
Project-URL: Bug Tracker, https://github.com/ADA-research/auto-verify/issues
Classifier: Development Status :: 1 - Planning
Classifier: License :: OSI Approved :: BSD License
Classifier: Operating System :: Unix
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Provides-Extra: testing
Requires-Dist: pytest (>=7.2.0) ; extra == 'testing'
Requires-Dist: pytest-cov (>=2.0) ; extra == 'testing'
Requires-Dist: mypy (>=0.991) ; extra == 'testing'
Requires-Dist: flake8 (>=5.0.4) ; extra == 'testing'
Requires-Dist: tox (>=4.0.3) ; extra == 'testing'
Requires-Dist: black (>=22.10.0) ; extra == 'testing'

# Auto-Verify
