Homec4science

rAKA/master
886a6e48080ffeatures/solver-rewrite