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.
For Flagmatic 1.5, see the old website.