Homec4science

rAKA/.clang-tidy
e680eb0b674dfeatures/solver-rewrite