Homec4science

rAKA/explicit
features/solver-rewrite