Homec4science

rAKA/.clang-tidy
f9de4c21dd63features/solver-rewrite