Name Last modified Size DescriptionApache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443
Parent Directory - h00.zip 2018-01-08 11:26 932 perm.mzn 2018-01-08 11:23 60 comb.mzn 2018-01-08 11:23 62 readme.txt 2018-01-07 14:33 305 comb-4-3.txt 2018-01-07 14:32 184 perm-3-3.txt 2018-01-07 14:29 270