Homec4science

rAKA/.clang-tidy
6ac75f2cd518features/solver-rewrite