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
Provides-Extra: testing
License-File: LICENSE

# Auto-Verify
