Metadata-Version: 2.1
Name: cpraa
Version: 0.2.0
Summary: A checker for probabilistic abstract argumentation
License: MIT
Author: Nikolai Käfer
Author-email: nikolai.kaefer@tu-dresden.de
Maintainer: Nikolai Käfer
Maintainer-email: nikolai.kaefer@tu-dresden.de
Requires-Python: >=3.6,<4.0
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Dist: z3-solver (>=4.8.8,<5.0.0)
