Homec4science

rAKA/.clang-tidy
9a7c04e6e28cfeatures/solver-rewrite