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