Simple sparse matrix CG solver for experimenting with ABFT techniques - View it on GitHub