Index of /~pat/cpM/minizincCPM/guardRota

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