Homec4science

rAKA/bugfixes%2Fversion-detection-in-ci
886a6e48080ffeatures/solver-rewrite