fix:specmicp Initialization of SmartAdimSolver
Fix initialization of SmartAdimSolver with a warmstart solution.