Index of /~pat/cpM/minizincCPM/subgraphiso

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] p5t9.dzn                2017-09-03 17:11  461   
[   ] sipMiniZinc.mzn         2017-09-03 17:11  946
Apache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443