Homec4science

rAKA/.clang-tidy
165c792569e1features/solver-rewrite