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.0rc4.tar.gz
(168.6 kB
view hashes)
Built Distribution
dtcontrol-1.0.0rc4-py3-none-any.whl
(197.6 kB
view hashes)
Close
Hashes for dtcontrol-1.0.0rc4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ce875e3839356f0444213a0f7fdfe6853b4df2e53e8bc58faa5802387ef54f86 |
|
MD5 | 131f86ec76d4062d1a51ff6e12794358 |
|
BLAKE2b-256 | 51711157521b2d6cd931df5fcc906c64562da7b52f5117cbeca2b99f92f2aa64 |