Homec4science

rAKA/test/test_solver/test_sparse_matrix_product.verified
9a7c04e6e28cfeatures/solver-rewrite