The report is contained within a Jupyter notebook. The notebook is present in three formats:
- The .ipynb file itself, ready for being executed
- An HTML for those who do not want to use Jupyter
- A PDF for those who prefer the PDF format
The MiniZinc model is contained within the mzn folder. The folder also contains some example data files.
solitaire.py contains the source of the random generator (in Python).