PIPS-IPM++ tools