Update app.py

app.py

@@ -31,11 +31,10 @@ def draw_graph(G, pos=None, title="Graph Visualization"):
     nx.draw(G, pos=pos, with_labels=True, node_color='lightblue', node_size=500, font_size=10, font_weight='bold')
     st.pyplot(plt)
 
+# Function to convert the circuit to an equivalent formula.
 def circuit_to_formula(circuit):
-    # Convert the circuit to an equivalent formula.
     formula = nx.dag_to_branching(circuit)
-    # Transfer the operator or variable labels for each node from the
-    # circuit to the formula.
+    # Transfer the operator or variable labels for each node from the circuit to the formula.
     for v in formula:
         source = formula.nodes[v]["source"]
         formula.nodes[v]["label"] = circuit.nodes[source]["label"]
@@ -45,6 +44,7 @@ def circuit_to_formula(circuit):
 def formula_to_circuit(formula):
     circuit = nx.DiGraph()
     node_id = 0
+
     def add_formula_node(expr):
         nonlocal node_id
         # Create a unique node for each part of the formula
@@ -93,6 +93,7 @@ def formula_to_string(formula):
     root = next(v for v, d in formula.in_degree() if d == 0)
     return _to_string(formula, root)
 
+# Main Streamlit application
 def algorithms_circuits():
     st.title("Algorithms: Circuits")