Name Last modified Size DescriptionApache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443
Parent Directory - nurse_10.dzn 2017-10-09 11:52 126 nurse_07.dzn 2017-10-09 11:59 153 readme.txt 2017-10-10 16:57 252 nurse.mzn 2016-11-17 21:13 923 nurse.pdf 2017-10-10 16:49 840K minizinc-tute.pdf 2017-06-30 15:22 944K nurse.pptx 2017-10-09 12:46 1.1M