Index of /~pat/cpM/minizincCPM/fruitShop

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] fruit1.dzn              2018-01-09 16:11  667   
[   ] fruitShop.mzn           2018-01-06 16:39  1.0K  
[   ] fruitShopDec.mzn        2018-01-06 16:47  1.1K
Apache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443