Is there a fast and friendly tool for matrix-computations over $\Bbb Z$? In particular, I would like to find generators of the solution of a homogenous system of linear equations. This can be done using the computation of Smith Normal Form.
I checked online and most references lead to the LinBox project but it seems unspported and links to documentation are dead..