Index of /~pat/cpM/minizincCPM/cliqueAndColour

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 toDo.txt                2017-10-23 15:39  1.5K  
 maxClique.mzn           2018-01-27 13:34  446   
 gCol.mzn                2018-01-27 12:00  389   
 distribution/           2018-02-13 17:39    -   
 dimacs2dzn.java         2017-10-23 12:49  1.1K  
 data/                   2018-02-13 17:39    -   
 colOpt.mzn              2018-01-27 12:49  451   
 cliqueDecision.mzn      2018-01-30 15:06  344   
 cliqueAndColour.pptx    2018-01-30 09:53  2.1M  
 cliqueAndColour.pdf     2018-01-30 11:16  1.7M  
 RandomGraph.java        2012-01-19 13:53  459   
 CliqueDecision.java     2017-10-23 15:49  1.1K  
 CD.java                 2012-07-01 17:47  1.5K