Index of /~pat/cpM/minizincCPM/tutorial

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[   ] minizinc-tute.pdf              2017-06-30 15:22  944K  
[   ] minizinc-tutorial-examples.zip 2017-06-30 16:22   30K
Apache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443