Homec4science

rAKA/test/ci
features/solver-rewrite