Gilberto's Source

rm -Rf ${HOME}/dev/madp > /dev/null 2>&1 git clone git@github.com:gilbertoamarcon/MADP.git ${HOME}/dev/madp cd ${HOME}/dev/madp/ mkdir -p results/GMAA/DecTiger mkdir -p results/GMAA/dectiger sh autogen.sh ./configure make make htmldoc rm -Rf ${HOME}/.madp > /dev/null 2>&1 mkdir ${HOME}/.madp cd ${HOME}/.madp ln -s ${HOME}/dev/madp/problems ln -s ${HOME}/dev/madp/results