Experimental PyCharm plugin for Nagini.

To install, choose "File" -> "Settings" -> "Plugins" -> "Install plugin from disk", and choose the file "nagini-pycharm.jar" from this repository.

In the settings, PyCharm will have a new entry "Nagini" under "Tools". Enter the paths to the relevant executables and .jar files (see Nagini's documentation to see what those are).

To verify a Python file,

1. Create and select an ordinary run configuration for running said file.
2. Click "Run" -> "Verify" (or click on the "Verify" button on the upper right, next to "Run" and "Debug").