The contents of this repository are for the use of the reviewers of PyFroid research paper. ========================================================================================== - Cross references to submission: Running example -> adapted from N8.ipynb - Any changes made to a notebook cell are marked with a comment "# Changes from original", along with a description and reason.