Homec4science

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