Update app.py

app.py

@@ -19,25 +19,25 @@ with col3:
 
 st.write("#### Description")
 description = st.text_input(label="", placeholder="An optional natural language description of the operation", value="add two vectors with broadcasting to get a matrix")
-st.sidebar.header("Settings:")
-settings_kwargs = dict()
-settings_kwargs["require_all_inputs_used"] = st.sidebar.checkbox("Require All Inputs", value=True)
-settings_kwargs["only_minimal_solutions"] = st.sidebar.checkbox("Only Minimal Solutions", value=False)
-settings_kwargs["max_solutions"] = st.sidebar.slider("Maximum number of solutions", value=1, min_value=1, step=1, max_value=256)
-settings_kwargs["timeout"] = st.sidebar.slider("Timeout in seconds", value=300, min_value=1, step=10, max_value=300)
+with st.expander("⚙️ Search Options", expanded=False):
+    st.sidebar.header("Settings:")
+    settings_kwargs = dict()
+    settings_kwargs["require_all_inputs_used"] = st.checkbox("Require All Inputs", value=True)
+    settings_kwargs["only_minimal_solutions"] = st.checkbox("Only Minimal Solutions", value=False)
+    settings_kwargs["max_solutions"] = st.slider("Maximum number of solutions", value=1, min_value=1, step=1, max_value=256)
+    settings_kwargs["timeout"] = st.slider("Timeout in seconds", value=300, min_value=1, step=10, max_value=300)
     
-settings = value_search_settings.from_dict({
+if st.button("🔎 Search for Tensor Ops!"):
+    i = eval(inputs)
+    o = eval(output)
+    c = eval(constants)
+    settings = value_search_settings.from_dict({
       'timeout': settings_kwargs["timeout"],
       'only_minimal_solutions': settings_kwargs["only_minimal_solutions"],
       'max_solutions': settings_kwargs["max_solutions"],
       'require_all_inputs_used': settings_kwargs["require_all_inputs_used"],
       'require_one_input_used': not settings_kwargs["require_all_inputs_used"],
   })
-
-if st.button("🔎 Search for Tensor Ops!"):
-    i = eval(inputs)
-    o = eval(output)
-    c = eval(constants)
     with st.spinner("Searching for solution..."):
         with io.StringIO() as buf, redirect_stdout(buf):
             results = colab_interface.run_value_search_from_colab(i, o, c, description, settings)