search

Tarheel-Formal-Methods / kaa-dynamic

Reachability analysis tool created to investigate computing automatic dynamic parallelotope bundles for computing reachability of discrete non-linear dynamical systems
MIT License
2 stars 0 forks source link

Missing dependencies in README.md file #2

Open rufoliveira opened 3 years ago

rufoliveira commented 3 years ago

Additional dependencies

termcolor scikit-learn

were needed for me to get the code running. They are not mentioned in the README file.

ekim1919 commented 3 years ago

Hello! Thanks for mentioning this. The README file was actually created quite awhile back during the summer of this year. This version of Kaa is not well-documented and not rigorously tested yet for the public. You may want to check out the Jupyter notebook of https://github.com/Tarheel-Formal-Methods/kaa https://github.com/Tarheel-Formal-Methods/kaa/blob/master/kaa-intro.ipynb That version is not the most recent but is more accessible. I'll continue to update the README and even port over kaa-intro.ipynb to kaa-dynamic.