Homec4science

rAKA/.clang-tidy
561ae72225dbfeatures/solver-rewrite