Metadata-Version: 2.0
Name: dtcontrol
Version: 1.0.0rc5
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,<3.8
Description-Content-Type: text/markdown
Requires-Dist: Jinja2 (==2.10.3)
Requires-Dist: pandas (==0.25.2)
Requires-Dist: pydot (==1.4.1)
Requires-Dist: scikit-learn (==0.22)
Requires-Dist: tqdm (==4.42.0)
Requires-Dist: psutil (==5.6.7)

UNKNOWN


