This page contains computer assisted parts of the paper On Weak Flexibility in Planar Graphs.
A preliminary version of the paper can be downloaded here or from arXiv.
Here, you can download the technical things in one file.
Dependencies