Update app.py

app.py

@@ -5,7 +5,7 @@ from openai import OpenAI
 
 from optillm.cot_reflection import cot_reflection
 from optillm.rto import round_trip_optimization
-from optillm.z3_solver import Z3SolverSystem
+from optillm.z3_solver import Z3SymPySolverSystem
 from optillm.self_consistency import advanced_self_consistency_approach
 from optillm.rstar import RStar
 from optillm.plansearch import plansearch
@@ -62,7 +62,7 @@ def respond(message, history, model, approach, system_message, max_tokens, tempe
         if approach == 'rto':
             final_response, _ = round_trip_optimization(system_prompt, initial_query, client, model)
         elif approach == 'z3':
-            z3_solver = Z3SolverSystem(system_prompt, client, model)
+            z3_solver = Z3SymPySolverSystem(system_prompt, client, model)
             final_response, _ = z3_solver.process_query(initial_query)
         elif approach == "self_consistency":
             final_response, _ = advanced_self_consistency_approach(system_prompt, initial_query, client, model)