A small tool which can convert automatically synthesised formally verified controllers into concise decision trees.
Project description
The author of this package has not provided a project description
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
dtcontrol-1.0.0rc1.tar.gz
(166.8 kB
view hashes)
Built Distribution
dtcontrol-1.0.0rc1-py3-none-any.whl
(197.8 kB
view hashes)
Close
Hashes for dtcontrol-1.0.0rc1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2cdcad479305a76e9d56d8dd835b56b515cfe19d3221a8cbf1c8e9e431b0baf1 |
|
MD5 | c6b407a776dcbd6d94588fd099da591e |
|
BLAKE2b-256 | 1c563f35573fa8c82444422b006a53f1a2948fbb032d395158e640e80563a7a7 |