actual solving, minus constraints for non tcc/tif constraints

app/models/advanced_options.py

@@ -2,8 +2,8 @@ from pydantic import BaseModel
 from typing import List, Optional, Dict
 
 class AdvancedOptions(BaseModel):
-  linearity_check: bool
-  show_progress: bool
+  linearity_check: Optional[bool]
+  show_progress: Optional[bool]
   max_solution_time: Optional[int]
   brand_bound_tolerance: Optional[float]
   max_forms: Optional[int]