Homec4science

rAKA/.clang-tidy
faa3ae1123b2features/solver-rewrite