Static verifier for Python 3, based on Viper.


License
MPL-2.0
Install
pip install nagini==1.1.1