Homec4science

rAKA/src/solver/vector_petsc.cc
bugfixes/contains-and…