Homec4science

rAKA/.clang-format
989eac36874ffeatures/solver-rewrite