Homec4science

rAKA/CMakeLists.txt
a38bdf86491cfeatures/solver-rewrite