Update solver.py

solver.py

@@ -2,6 +2,7 @@
 
 from typing import List, Dict, Optional, Any, Tuple
 from ortools.sat.python import cp_model
+import os
 
 from models import Task, Faculty, Section, Room
 from constraint_engine import ConstraintEngine
@@ -24,10 +25,12 @@ class TimetableSolver:
         enable_soft_constraints: bool = True,
         soft_constraint_weights: Dict[str, int] = None,
         log_search_progress: bool = True,
-        num_workers: int = 8,
+        num_workers: int = None,
         slm_constraints: List[Dict[str, Any]] = None,
         scheduling_rules: List[Dict[str, Any]] = None,
     ) -> Tuple[str, Optional[Dict[str, Any]]]:
+        if num_workers is None:
+            num_workers = os.cpu_count() or 8
 
         # 1. Hard constraints
         print("Initializing Constraint Engine...")