Homec4science

rAKA/.clang-tidy
05dfe5c52a09features/solver-rewrite