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

Draft

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

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

Commits on Feb 18, 2025

Small bug fix
KlevisImeri
committed