flag-algebra
An implementation of flag algebras.
Flag algebras is a framework used to produce computer-assisted proofs of some inequalities in combinatorics, relying on Semidefinite programming.
Example
// Proving that in any graph, at least 1/4 of the triples are triangles or independent sets.
extern crate flag_algebra;
use *;
use Graph;
use Problem;
License: GPL-3.0