Homec4science

rAKA/.clang-format
cbfa2ee4fabafeatures/solver-rewrite