cookiecutter template for RV's Python projects.
To keep your project up to date with the most recent version of this template, we recommend using cruft. You can generate your project with
cruft create https://github.com/runtimeverification/python-project-template