Homec4science

rAKA/examples
bbc8e20a800bfeatures/solver-rewrite