Source package for microDuMIP