Name Last modified Size DescriptionApache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443
Parent Directory - unsat.txt 2018-01-14 12:16 29 readme.txt 2018-01-13 20:13 2.2K guardRotaV4.mzn 2018-01-14 12:21 1.9K guardRotaV3.mzn 2018-01-13 12:58 1.7K guardRotaV3.fzn 2018-01-16 15:48 68K guardRotaV2.mzn 2018-01-13 12:35 1.9K guardRotaV1.mzn 2018-01-13 12:58 2.1K guardRota.dzn 2018-01-13 12:22 232