rAKA/bugfixes%2Fversion-detection-in-ci

features/solver-rewrite