Metadata-Version: 2.1
Name: dtcontrol
Version: 1.0.0rc2
Summary: A small tool which can convert automatically synthesised formally verified controllers into concise decision trees.
Home-page: https://gitlab.lrz.de/i7/dtcontrol
Author: Mathias Jackermeier
Author-email: mathias.jackermeier@outlook.de
License: MIT
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: License :: OSI Approved :: MIT License
Requires-Python: >=3.6
Description-Content-Type: text/markdown
Requires-Dist: astutils (==0.0.3)
Requires-Dist: decorator (==4.4.1)
Requires-Dist: Jinja2 (==2.10.3)
Requires-Dist: joblib (==0.14.0)
Requires-Dist: MarkupSafe (==1.1.1)
Requires-Dist: networkx (==2.4)
Requires-Dist: numpy (==1.17.3)
Requires-Dist: pandas (==0.25.2)
Requires-Dist: ply (==3.10)
Requires-Dist: pydot (==1.4.1)
Requires-Dist: pyparsing (==2.4.2)
Requires-Dist: python-dateutil (==2.8.0)
Requires-Dist: pytz (==2019.3)
Requires-Dist: scikit-learn (==0.21.3)
Requires-Dist: scipy (==1.3.1)
Requires-Dist: six (==1.12.0)
Requires-Dist: sklearn (==0.0)
Requires-Dist: tqdm (==4.36.1)

UNKNOWN


