# 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.
* Dependencies*

* 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.