https://github.com/jsliacan/flagmatic
Tip revision: a6d348f457965dfe5eb6b307771225874c9e595a authored by Jakub Sliacan on 20 September 2022, 15:04:42 UTC
Add GHA for basic checks
Add GHA for basic checks
Tip revision: a6d348f
53.sage
problem = GraphProblem(6, forbid_induced=(3,0), density=(5, binomial(5, 2)), minimize=True)
construction = GraphBlowupConstruction("5:12233445511122334455")
problem.set_extremal_construction(construction)
problem.solve_sdp()
problem.make_exact(2^20)