Inducibility of 4-vertex tournaments

Dalton Burke, Bernard Lidický, Florian Pfender, Michael Phillips

This page contains computer assisted parts of the paper Inducibility of 4-vertex tournaments.

A preliminary version of the paper can be downloaded here or from arXiv.

Here, you can download the technical things (certificates for flag algebra calculations) as one archive

Dependencies

Description of the content of anc.tar.gz
Lemma 1.3