Homec4science

rAKA/bugfixes%2Finstallation-instructions
features/solver-rewrite