Update app.py

app.py

@@ -9,11 +9,13 @@ inputs = st.text_area('The input tensor(s) specified as key-value pairs', placeh
 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)
     
 settings = value_search_settings.from_dict({
-      'timeout': 300,
-      'only_minimal_solutions': False,
+      '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"],