minizinc done
pushMerge branch 'master' of github.com:RobertBorg/EDAN01