Metadata-Version: 2.1
Name: CoVeriTeam
Version: 1.0
Summary: CoVeriTeam: On-Demand Composition of Cooperative Verification Systems
Home-page: https://gitlab.com/sosy-lab/software/coveriteam
Author: Sudeep Kanav
License: Apache-2.0
Keywords: cooperative verification validation
Platform: Linux
Classifier: Development Status :: 1 - Planning
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development :: Testing
License-File: LICENSE
Requires-Dist: antlr4-python3-runtime (>=4.8)
Requires-Dist: benchexec (>=2.6)
Requires-Dist: requests (>=2.24)
Requires-Dist: tqdm
Requires-Dist: coloredlogs

