fabian/prod: links for augmented-matrix-solver