📦 mpi-selector

M

• mpi-selector(1)A simple site-wide/per-user MPI selection tool for clusters with more than one MPI implementation installed.✨
• mpi-selector-menu(1)A menu-based wrapper around the mpi-selector command✨