TRICENSUS-MPI-STATUS(1) - manual page | User commands

Summarise the log file of an MPI census of triangulations.