Gecode: Index of directory /download/

Icon  Name                            Last modified      Size  Description
[DIR] Parent Directory                                     -   
[   ] flatzinc-gecode-1.0.tar.gz      15-Nov-2007 13:53  116K  
[   ] gecode-1.0.0.7z                 15-Jun-2009 14:18  551K  
[   ] gecode-1.0.0.tar.gz             10-Jan-2008 12:18  802K  
[   ] gecode-1.0.1.7z                 15-Jun-2009 14:18  561K  
[   ] gecode-1.0.1.tar.gz             10-Jan-2008 12:18  814K  
[   ] gecode-1.1.0.7z                 15-Jun-2009 14:18  562K  
[   ] gecode-1.1.0.tar.gz             10-Jan-2008 12:18  818K  
[   ] gecode-1.2.0.7z                 15-Jun-2009 14:18  568K  
[   ] gecode-1.2.0.tar.gz             10-Jan-2008 12:18  824K  
[   ] gecode-1.2.1.7z                 15-Jun-2009 14:18  579K  
[   ] gecode-1.2.1.tar.gz             10-Jan-2008 12:18  840K  
[   ] gecode-1.2.2.7z                 15-Jun-2009 14:18  582K  
[   ] gecode-1.2.2.tar.gz             10-Jan-2008 12:18  843K  
[   ] gecode-1.3.0.7z                 15-Jun-2009 14:18  594K  
[   ] gecode-1.3.0.tar.gz             10-Jan-2008 12:18  861K  
[   ] gecode-1.3.1.7z                 15-Jun-2009 14:18  600K  
[   ] gecode-1.3.1.tar.gz             01-Nov-2006 15:03  878K  
[   ] gecode-2.0.0.7z                 15-Jun-2009 14:18  559K  
[   ] gecode-2.0.0.tar.gz             15-Nov-2007 11:31  788K  
[   ] gecode-2.0.1.7z                 15-Jun-2009 14:18  581K  
[   ] gecode-2.0.1.tar.gz             07-Feb-2008 09:33  850K  
[   ] gecode-2.1.0.7z                 15-Jun-2009 14:18   18K  
[   ] gecode-2.1.0.tar.gz             03-Mar-2008 09:37   21K  
[   ] gecode-2.1.1.7z                 15-Jun-2009 14:18  671K  
[   ] gecode-2.1.1.tar.gz             06-Mar-2008 13:56  965K  
[   ] gecode-2.2.0-bin-qt-win-x64.7z  15-Jun-2009 14:18  3.2M  
[   ] gecode-2.2.0-bin-qt-win-x86.7z  15-Jun-2009 14:18  2.7M  
[   ] gecode-2.2.0-bin-win-x64.7z     15-Jun-2009 14:18  3.0M  
[   ] gecode-2.2.0-bin-win-x86.7z     15-Jun-2009 14:18  2.5M  
[   ] Gecode-2.2.0-Qt-x64.msi         26-Aug-2008 19:46   31M  
[   ] Gecode-2.2.0-Qt-x86.msi         25-Aug-2008 15:36   29M  
[   ] Gecode-2.2.0-Qt.dmg             25-Aug-2008 17:31   18M  
[   ] gecode-2.2.0.7z                 15-Jun-2009 14:18  690K  
[   ] Gecode-2.2.0.dmg                25-Aug-2008 18:15   17M  
[   ] gecode-2.2.0.tar.gz             25-Aug-2008 17:18  1.0M  
[   ] gecode-3.0.0.7z                 15-Jun-2009 14:18  564K  
[   ] gecode-3.0.0.tar.gz             13-Mar-2009 12:02  850K  
[   ] gecode-3.0.1.7z                 15-Jun-2009 14:18  572K  
[   ] gecode-3.0.1.tar.gz             24-Mar-2009 15:35  835K  
[   ] Gecode-3.0.2-x64.msi            25-Mar-2009 23:18   32M  
[   ] Gecode-3.0.2-x86.msi            25-Mar-2009 23:44   30M  
[   ] gecode-3.0.2.7z                 15-Jun-2009 14:18  573K  
[   ] Gecode-3.0.2.dmg                26-Mar-2009 00:44  5.0M  
[   ] gecode-3.0.2.tar.gz             25-Mar-2009 22:45  836K  
[   ] Gecode-3.1.0-x64.msi            21-May-2009 00:53   33M  
[   ] Gecode-3.1.0-x86.msi            21-May-2009 01:03   30M  
[   ] gecode-3.1.0.7z                 15-Jun-2009 13:47  596K  
[   ] Gecode-3.1.0.dmg                21-May-2009 01:56  5.1M  
[   ] gecode-3.1.0.tar.gz             15-Jun-2009 13:47  873K  
[   ] Gecode-3.2.0-x64.msi            05-Oct-2009 21:20   35M  
[   ] Gecode-3.2.0-x86.msi            05-Oct-2009 21:32   33M  
[   ] gecode-3.2.0.7z                 12-Oct-2009 20:02  662K  
[   ] Gecode-3.2.0.dmg                03-Nov-2009 10:28  8.0M  
[   ] gecode-3.2.0.tar.gz             12-Oct-2009 20:02  969K  
[   ] Gecode-3.2.1-x64.msi            04-Nov-2009 22:10   39M  
[   ] Gecode-3.2.1-x86.msi            04-Nov-2009 22:17   36M  
[   ] gecode-3.2.1.7z                 04-Nov-2009 21:34  874K  
[   ] Gecode-3.2.1.dmg                04-Nov-2009 22:04  9.3M  
[   ] gecode-3.2.1.tar.gz             04-Nov-2009 21:34  1.2M  
[   ] Gecode-3.2.2-x64.msi            30-Nov-2009 12:19   39M  
[   ] Gecode-3.2.2-x86.msi            30-Nov-2009 15:32   36M  
[   ] gecode-3.2.2.7z                 30-Nov-2009 11:41  885K  
[   ] Gecode-3.2.2.dmg                30-Nov-2009 12:36  9.5M  
[   ] gecode-3.2.2.tar.gz             30-Nov-2009 11:41  1.2M  
[   ] Gecode-3.3.0-x64.msi            14-Mar-2010 23:44   41M  
[   ] Gecode-3.3.0-x86.msi            15-Mar-2010 00:01   38M  
[   ] gecode-3.3.0.7z                 29-Mar-2010 09:52  891K  
[   ] Gecode-3.3.0.dmg                15-Mar-2010 10:04  7.0M  
[   ] gecode-3.3.0.tar.gz             29-Mar-2010 09:53  1.2M  
[   ] Gecode-3.3.1-x64.msi            08-Apr-2010 14:41   39M  
[   ] Gecode-3.3.1-x86.msi            08-Apr-2010 14:20   37M  
[   ] gecode-3.3.1.7z                 08-Apr-2010 14:20  898K  
[   ] Gecode-3.3.1.dmg                08-Apr-2010 13:30  7.1M  
[   ] gecode-3.3.1.tar.gz             08-Apr-2010 14:20  1.3M  
[   ] Gecode-3.4.0-x64.msi            24-Jul-2010 13:41   41M  
[   ] Gecode-3.4.0-x86.msi            24-Jul-2010 13:52   38M  
[   ] gecode-3.4.0.7z                 09-Aug-2010 10:23  916K  
[   ] Gecode-3.4.0.dmg                25-Jul-2010 20:17  7.5M  
[   ] gecode-3.4.0.tar.gz             09-Aug-2010 10:23  1.3M  
[   ] gecode-doc-2.2.0.7z             15-Jun-2009 14:18  3.3M  
[   ] gecode-doc-2.2.0.tar.gz         11-Mar-2009 17:23  7.9M  
[   ] gecode-doc-3.0.2.7z             15-Jun-2009 14:18  2.5M  
[   ] gecode-doc-3.0.2.tag.gz         25-Mar-2009 22:45  502K  
[   ] gecode-doc-3.0.2.tar.gz         25-Mar-2009 22:45  5.8M  
[   ] gecode-doc-3.1.0.7z             15-Jun-2009 13:47  2.6M  
[   ] gecode-doc-3.1.0.tag.gz         15-Jun-2009 13:47  514K  
[   ] gecode-doc-3.1.0.tar.gz         15-Jun-2009 13:47  6.1M  
[   ] gecode-doc-3.2.0.7z             12-Oct-2009 20:02  2.7M  
[   ] gecode-doc-3.2.0.tag.gz         12-Oct-2009 20:02  550K  
[   ] gecode-doc-3.2.0.tar.gz         12-Oct-2009 20:02  6.5M  
[   ] gecode-doc-3.2.1.7z             04-Nov-2009 21:34  3.0M  
[   ] gecode-doc-3.2.1.tag.gz         04-Nov-2009 21:34  556K  
[   ] gecode-doc-3.2.1.tar.gz         04-Nov-2009 21:34  7.0M  
[   ] gecode-doc-3.2.2.7z             30-Nov-2009 11:41  3.1M  
[   ] gecode-doc-3.2.2.tag.gz         30-Nov-2009 11:41  563K  
[   ] gecode-doc-3.2.2.tar.gz         30-Nov-2009 11:41  7.1M  
[   ] gecode-doc-3.3.0.7z             16-Mar-2010 09:57  3.0M  
[   ] gecode-doc-3.3.0.tag.gz         16-Mar-2010 09:57  565K  
[   ] gecode-doc-3.3.0.tar.gz         16-Mar-2010 09:57  7.1M  
[   ] gecode-doc-3.3.1.7z             08-Apr-2010 14:20  3.1M  
[   ] gecode-doc-3.3.1.tag.gz         08-Apr-2010 14:20  563K  
[   ] gecode-doc-3.3.1.tar.gz         08-Apr-2010 14:20  7.1M  
[   ] gecode-doc-3.4.0.7z             24-Jul-2010 12:55  3.3M  
[   ] gecode-doc-3.4.0.tag.gz         24-Jul-2010 12:57  648K  
[   ] gecode-doc-3.4.0.tar.gz         24-Jul-2010 12:59  7.6M  
[   ] gecode-doc-search-2.2.0.7z      15-Jun-2009 14:18  3.3M  
[   ] gecode-doc-search-2.2.0.tar.gz  11-Mar-2009 17:23  7.9M  
[   ] gecode-doc-search-3.0.2.7z      15-Jun-2009 14:18  3.1M  
[   ] gecode-doc-search-3.0.2.tag.gz  25-Mar-2009 22:45  502K  
[   ] gecode-doc-search-3.0.2.tar.gz  25-Mar-2009 22:45  7.5M  
[   ] gecode-doc-search-3.1.0.7z      15-Jun-2009 13:47  3.4M  
[   ] gecode-doc-search-3.1.0.tag.gz  15-Jun-2009 13:47  514K  
[   ] gecode-doc-search-3.1.0.tar.gz  15-Jun-2009 13:48  7.9M  
[   ] gecode-doc-search-3.2.0.7z      12-Oct-2009 20:02  3.5M  
[   ] gecode-doc-search-3.2.0.tag.gz  12-Oct-2009 20:02  550K  
[   ] gecode-doc-search-3.2.0.tar.gz  12-Oct-2009 20:02  8.4M  
[   ] gecode-doc-search-3.2.1.7z      04-Nov-2009 21:34  3.8M  
[   ] gecode-doc-search-3.2.1.tag.gz  04-Nov-2009 21:34  556K  
[   ] gecode-doc-search-3.2.1.tar.gz  04-Nov-2009 21:34  8.9M  
[   ] gecode-doc-search-3.2.2.7z      30-Nov-2009 11:41  3.9M  
[   ] gecode-doc-search-3.2.2.tag.gz  30-Nov-2009 11:41  563K  
[   ] gecode-doc-search-3.2.2.tar.gz  30-Nov-2009 11:41  9.1M  
[   ] gecode-doc-search-3.3.0.7z      29-Mar-2010 09:53  3.9M  
[   ] gecode-doc-search-3.3.0.tag.gz  29-Mar-2010 09:53  565K  
[   ] gecode-doc-search-3.3.0.tar.gz  29-Mar-2010 09:53  9.2M  
[   ] gecode-doc-search-3.3.1.7z      08-Apr-2010 14:20  4.3M  
[   ] gecode-doc-search-3.3.1.tag.gz  08-Apr-2010 14:20  563K  
[   ] gecode-doc-search-3.3.1.tar.gz  08-Apr-2010 14:20  9.7M  
[   ] gecode-doc-search-3.4.0.7z      24-Jul-2010 12:56  4.5M  
[   ] gecode-doc-search-3.4.0.tag.gz  24-Jul-2010 12:59  648K  
[   ] gecode-doc-search-3.4.0.tar.gz  24-Jul-2010 13:02   10M  
[   ] gecode-flatzinc-1.1.tar.gz      13-Feb-2008 10:34  123K  
[   ] gecode-flatzinc-1.2.1.7z        15-Jun-2009 14:18   89K  
[   ] gecode-flatzinc-1.2.1.tar.gz    06-Mar-2008 14:58  125K  
[   ] gecode-flatzinc-1.2.7z          15-Jun-2009 14:18   88K  
[   ] gecode-flatzinc-1.2.tar.gz      29-Feb-2008 12:53  124K  
[   ] gecode-flatzinc-1.3.7z          15-Jun-2009 14:18   95K  
[   ] gecode-flatzinc-1.3.tar.gz      25-Aug-2008 16:22  134K  
[   ] gecode-flatzinc-1.4.7z          15-Jun-2009 14:18   96K  
[   ] gecode-flatzinc-1.4.tar.gz      13-Mar-2009 00:34  135K  
[   ] gecode-flatzinc-1.5.7z          15-Jun-2009 14:18   96K  
[   ] gecode-flatzinc-1.5.tar.gz      25-Mar-2009 22:45  135K  
[   ] gecode-flatzinc-1.6.7z          15-Jun-2009 14:18   94K  
[   ] gecode-flatzinc-1.6.tar.gz      15-Jun-2009 13:48  132K  
[   ] gecodej-2.2.0.7z                15-Jun-2009 14:18  174K  
[   ] gecodej-2.2.0.tar.gz            25-Aug-2008 15:12  250K  
[   ] gecodej-doc-2.2.0.7z            15-Jun-2009 14:18  818K  
[   ] gecodej-doc-2.2.0.tar.gz        25-Aug-2008 15:16  1.3M  
[   ] gecodej-doc-search-2.2.0.7z     15-Jun-2009 14:19  952K  
[   ] gecodej-doc-search-2.2.0.tar.gz 25-Aug-2008 15:15  1.6M  
[   ] gecodej-javadoc-2.2.0.7z        15-Jun-2009 14:19  115K  
[   ] gecodej-javadoc-2.2.0.tar.gz    25-Aug-2008 15:15  212K  
[   ] GecodeJReference-2.2.0.chm      26-Aug-2008 15:41  1.9M