Homec4science

rAKA/.clang-tidy
d213b95f146ffeatures/solver-rewrite