Homec4science

rAKA/.clang-format
182d0160df4afeatures/solver-rewrite