Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point#335

Draft

KlevisImeri wants to merge 5 commits intoftsrg:masterfrom KlevisImeri:imc-split-solvers

+152-23

Commits on Jan 27, 2025

Commits on Jan 28, 2025

Fixed indenting issues and added checking for itpSolver & imcFpSolver
KlevisImeri
committed

Commits on Jan 29, 2025

style: apply spotless code formatting
KlevisImeri
committed