Homec4science

rAKA/bugfixes%2Fgoogle-test-ref-changed
886a6e48080ffeatures/solver-rewrite