Flagmatic

Flagmatic Queen Mary

A tool for researchers in extremal graph theory.

 

Download Flagmatic         View Project on GitHub

Flagmatic is an application that uses flag algebras and semi-definite programming to find bounds on Turán density and related problems, using the method of Razborov.

Flagmatic is designed in a way that means it can be adapted to handle different kinds of problems. Currently, it can solve graph, oriented graph and 3-graph problems. In fact, it was originally created to solve 3-graph problems.

Flagmatic 2.0 is a reinvention of Flagmatic as a Sage package.

To download, please use the link above. Also, you can read the User's Guide.

You may need to download the Mac binary of CSDP. (More information about CSDP here.)

For Flagmatic 1.5, see the old website.