Index of /~pat/jchoco/clique/stuff

Icon  Name                                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                      -   
[TXT] 100 node results.txt                                             2010-10-13 11:14  2.1K  
[TXT] LP thoughts.txt                                                  2010-10-13 11:13  1.0K  
[TXT] Modeling independent set  in CP SAT and SCIP.txt                 2010-10-12 15:32  2.5K  
[TXT] RE Triangle packing in SCIP.txt                                  2010-10-13 11:15  4.5K  
[TXT] check.tri100all.scip.darwin.x86_64.gnu.opt.spx.reims.default.txt 2010-10-08 14:23  132K