Homec4science

rAKA/.linters
features/solver-rewrite