Homec4science

rAKA/src/solver
bugfixes/missing_inform…bba624502e8f7810ea80aff…