Homec4science

rAKA/.clang-format
886a6e48080ffeatures/solver-rewrite