Classic solver mutability removal
The solve-classic solver had mutable fields... but that mutability is pointless because, there's no advantage in having those fields mutable since they are not used by the internal state-machine implementation.
This merge request removes that mutability; this is also needed to claim that all project classes are immutable.
Edited by Enrico Siboni