SMT Refactoring#3611

Draft

BookWood7th wants to merge 3 commits intoKeYProject:mainfrom

BookWood7th:smtArchitectureOverhaul

Commits on May 10, 2025

Overhaul of solver scheduling. Now uses Threadpools
BookWood7th
committed

Commits on May 25, 2025

first overhaul of SMTSolverResult, as well as the sockets
BookWood7th
committed

Commits on May 26, 2025

repair CESocket
BookWood7th
committed