Homec4science

rAKA/src/solver/vector_petsc.cc
bugfixes/64bit-integer…