from flagmatic.all import *

def checkValid(delta, eta, flagSize=7, write_cert=False):
   p = GraphProblem(flagSize, density=[("3:121323",1),("3:",1)], mode="optimization")
   p.add_assumption("1:",[("2:12(1)",1)],delta)
   p.add_assumption("2:12",[("3:12(2)",1)],eta)
   p.solve_sdp(show_output=True)
   p.make_exact()
   if (write_cert):
     p.write_certificate("size"+str(flagSize)+"-d"+str(delta)+"-e"+str(eta)+".cert")
     
checkValid(0.5406, 0.2703, flagSize=7, write_cert=True);