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