Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
nurse_10.dzn 2017-10-09 11:52 126
nurse_07.dzn 2017-10-09 11:59 153
![[TXT]](/icons/text.gif){kind=icon}
readme.txt 2017-10-10 16:57 252
nurse.mzn 2016-11-17 21:13 923
![[ ]](/icons/layout.gif){kind=icon}
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