Mini-MP User’s Guide