main.qproject

{"name":"","theory":{"name":"Red/green theory","core_name":"red_green","vertex_types":{"X":{"value":{"type":"angle_expr","latex_constants":true,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[1.0,1.0,1.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[1.0,0.0,0.0],"shape":"circle"},"default_data":{"type":"X","value":""}},"Z":{"value":{"type":"angle_expr","latex_constants":true,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[0.0,0.0,0.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[0.0,0.800000011920929,0.0],"shape":"circle"},"default_data":{"type":"Z","value":""}},"hadamard":{"value":{"type":"string","latex_constants":false,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[0.0,0.20000000298023224,0.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[1.0,1.0,0.0],"shape":"rectangle"},"default_data":{"type":"hadamard","value":""}},"var":{"value":{"type":"string","latex_constants":false,"validate_with_core":false},"style":{"label":{"position":"inside","fg_color":[0.0,0.0,0.0]},"stroke_color":[0.0,0.0,0.0],"fill_color":[0.6000000238418579,1.0,0.800000011920929],"shape":"rectangle"},"default_data":{"type":"var","value":""}}},"default_vertex_type":"Z","default_edge_type":"string","edge_types":{"string":{"value":{"type":"string","latex_constants":false,"validate_with_core":false},"style":{"stroke_color":[0.0,0.0,0.0],"stroke_width":1,"label":{"position":"center","fg_color":[0.0,0.0,1.0],"bg_color":[0.800000011920929,0.800000011920929,1.0,0.699999988079071]}},"default_data":{"type":"string","value":""}}}}}