Coloring count cones of planar graphs
Zdeněk Dvořák, Bernard Lidický
This page contains computer assisted parts of the paper
Coloring count cones of planar graphs.
A preliminary version of the paper can be downloaded here
or from arXiv.
Here, you can download the technical things as one archive
It is also possible to download programs needed to perform the calculation
from arXiv. Not the proof of course.
Description of the content of anc.zip
proof_verification.cpp ... C++ program that verifies the proof (proof.tar.bz2) of Lemma 12.
rays_test.sage ... Sage program that generates rays for Lemma 6.