Index of /~pat/cpM/minizincCPM/guardRota

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