Metadata-Version: 1.0
Name: reachab
Version: 0.1
Summary: Reachability Analysis with zonotypes
Home-page: https://github.com/ga74kud/reachab
Author: Michael Hartmann
Author-email: michael.hartmann@v2c2.at
License: GNU GENERAL PUBLIC LICENSE
Description: UNKNOWN
Platform: UNKNOWN
