Homec4science

rAKA/test/test_static_memory
ad61a98e3084features/solver-rewrite