Homec4science

rAKA/doc/manual/manual-introduction.tex
72e4960f4c2cfeatures/solver-rewrite