Homec4science

rAKA/.clang-tidy
8f70816b5e8cfeatures/solver-rewrite