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  
[   ] flatzinc_skeleton-1.0.zip       17-Jan-2011 10:00   84K  
[   ] flatzinc_skeleton-1.1.zip       18-Jan-2011 10:12   79K  
[   ] flatzinc_skeleton-1.2.zip       09-Mar-2012 00:00   79K  
[   ] flatzinc_skeleton-1.3.zip       20-Mar-2012 01:17   79K  
[   ] 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-3.4.1-x64.msi            08-Oct-2010 18:19   41M  
[   ] Gecode-3.4.1-x86.msi            08-Oct-2010 18:15   39M  
[   ] gecode-3.4.1.7z                 08-Oct-2010 17:26  1.0M  
[   ] Gecode-3.4.1.dmg                08-Oct-2010 17:47  7.7M  
[   ] gecode-3.4.1.tar.gz             08-Oct-2010 17:26  1.5M  
[   ] Gecode-3.4.2-x64.msi            09-Oct-2010 15:13   41M  
[   ] Gecode-3.4.2-x86.msi            09-Oct-2010 15:09   39M  
[   ] gecode-3.4.2.7z                 09-Oct-2010 14:30  1.0M  
[   ] Gecode-3.4.2.dmg                09-Oct-2010 19:01  7.7M  
[   ] gecode-3.4.2.tar.gz             09-Oct-2010 14:30  1.5M  
[   ] Gecode-3.5.0-x64-2008.msi       01-Feb-2011 15:34   42M  
[   ] Gecode-3.5.0-x64-2010.msi       01-Feb-2011 15:37   42M  
[   ] Gecode-3.5.0-x64.msi            01-Feb-2011 15:34   42M  
[   ] Gecode-3.5.0-x86-2008.msi       01-Feb-2011 15:31   39M  
[   ] Gecode-3.5.0-x86-2010.msi       01-Feb-2011 15:35   40M  
[   ] Gecode-3.5.0-x86.msi            01-Feb-2011 15:31   39M  
[   ] gecode-3.5.0.7z                 01-Feb-2011 14:55  1.0M  
[   ] Gecode-3.5.0.dmg                01-Feb-2011 15:44  7.7M  
[   ] gecode-3.5.0.tar.gz             01-Feb-2011 14:55  1.5M  
[   ] Gecode-3.6.0-x64-2008.msi       14-Jul-2011 12:07   42M  
[   ] Gecode-3.6.0-x64-2010.msi       14-Jul-2011 12:12   43M  
[   ] Gecode-3.6.0-x86-2008.msi       14-Jul-2011 12:04   40M  
[   ] Gecode-3.6.0-x86-2010.msi       14-Jul-2011 12:09   40M  
[   ] gecode-3.6.0.7z                 14-Jul-2011 11:25  1.0M  
[   ] Gecode-3.6.0.dmg                14-Jul-2011 18:16  8.0M  
[   ] gecode-3.6.0.tar.gz             14-Jul-2011 11:25  1.5M  
[   ] Gecode-3.7.0-x64-2008.msi       30-Aug-2011 11:27   43M  
[   ] Gecode-3.7.0-x64-2010.msi       30-Aug-2011 11:32   43M  
[   ] Gecode-3.7.0-x86-2008.msi       30-Aug-2011 11:23   40M  
[   ] Gecode-3.7.0-x86-2010.msi       30-Aug-2011 11:29   41M  
[   ] gecode-3.7.0.7z                 29-Aug-2011 17:29  1.1M  
[   ] Gecode-3.7.0.dmg                30-Aug-2011 11:51  7.3M  
[   ] gecode-3.7.0.tar.gz             29-Aug-2011 17:29  1.5M  
[   ] Gecode-3.7.1-x64-2008.msi       10-Oct-2011 11:16   43M  
[   ] Gecode-3.7.1-x64-2010.msi       10-Oct-2011 11:19   43M  
[   ] Gecode-3.7.1-x86-2008.msi       10-Oct-2011 11:09   40M  
[   ] Gecode-3.7.1-x86-2010.msi       10-Oct-2011 11:16   41M  
[   ] gecode-3.7.1.7z                 10-Oct-2011 10:29  1.1M  
[   ] Gecode-3.7.1.dmg                10-Oct-2011 10:56  7.3M  
[   ] gecode-3.7.1.tar.gz             10-Oct-2011 10:30  1.5M  
[   ] Gecode-3.7.2-x64-2008.msi       22-Feb-2012 13:44   43M  
[   ] Gecode-3.7.2-x64-2010.msi       22-Feb-2012 13:51   43M  
[   ] Gecode-3.7.2-x86-2008.msi       22-Feb-2012 13:41   40M  
[   ] Gecode-3.7.2-x86-2010.msi       22-Feb-2012 13:47   41M  
[   ] gecode-3.7.2.7z                 21-Mar-2012 06:40  1.1M  
[   ] Gecode-3.7.2.dmg                23-Feb-2012 03:15  4.5M  
[   ] gecode-3.7.2.tar.gz             21-Mar-2012 06:40  1.6M  
[   ] Gecode-3.7.3-x64-2008.msi       26-Mar-2012 10:24   43M  
[   ] Gecode-3.7.3-x64-2010.msi       26-Mar-2012 10:31   43M  
[   ] Gecode-3.7.3-x86-2008.msi       26-Mar-2012 10:22   40M  
[   ] Gecode-3.7.3-x86-2010.msi       26-Mar-2012 10:28   41M  
[   ] gecode-3.7.3.7z                 22-Mar-2012 23:17  1.1M  
[   ] Gecode-3.7.3.dmg                26-Mar-2012 14:23  4.5M  
[   ] gecode-3.7.3.tar.gz             22-Mar-2012 23:17  1.6M  
[   ] Gecode-4.0.0-x64-2010.msi       15-Mar-2013 12:10   49M  
[   ] Gecode-4.0.0-x64-2012.msi       02-Apr-2013 12:37   49M  
[   ] Gecode-4.0.0-x64.msi            15-Mar-2013 12:10   49M  
[   ] Gecode-4.0.0-x86-2010.msi       15-Mar-2013 17:10   46M  
[   ] Gecode-4.0.0-x86-2012.msi       02-Apr-2013 12:50   46M  
[   ] Gecode-4.0.0-x86.msi            15-Mar-2013 17:10   46M  
[   ] gecode-4.0.0.7z                 14-Mar-2013 21:49  1.2M  
[   ] Gecode-4.0.0.dmg                14-Mar-2013 21:59  4.5M  
[   ] gecode-4.0.0.tar.gz             14-Mar-2013 21:49  1.8M  
[   ] Gecode-4.1.0-x64-2010.msi       01-Jul-2013 15:58   49M  
[   ] Gecode-4.1.0-x64-2012.msi       01-Jul-2013 16:55   50M  
[   ] Gecode-4.1.0-x86-2010.msi       01-Jul-2013 15:54   47M  
[   ] Gecode-4.1.0-x86-2012.msi       01-Jul-2013 17:18   47M  
[   ] gecode-4.1.0.7z                 02-Jul-2013 11:17  1.2M  
[   ] Gecode-4.1.0.dmg                03-Jul-2013 03:56   22M  
[   ] gecode-4.1.0.tar.gz             02-Jul-2013 11:18  1.8M  
[   ] Gecode-4.2.0-x64-2010.msi       19-Jul-2013 15:33   49M  
[   ] Gecode-4.2.0-x64-2012.msi       19-Jul-2013 15:44   50M  
[   ] Gecode-4.2.0-x86-2010.msi       19-Jul-2013 15:29   47M  
[   ] Gecode-4.2.0-x86-2012.msi       19-Jul-2013 15:44   47M  
[   ] gecode-4.2.0.7z                 19-Jul-2013 14:33  1.2M  
[   ] Gecode-4.2.0.dmg                20-Jul-2013 07:14   24M  
[   ] gecode-4.2.0.tar.gz             19-Jul-2013 14:33  1.8M  
[   ] Gecode-4.2.1-x64-2010.msi       05-Nov-2013 11:47   50M  
[   ] Gecode-4.2.1-x64-2012.msi       05-Nov-2013 11:36   50M  
[   ] Gecode-4.2.1-x64-2013.msi       05-Nov-2013 11:29   50M  
[   ] Gecode-4.2.1-x86-2010.msi       05-Nov-2013 11:40   47M  
[   ] Gecode-4.2.1-x86-2012.msi       05-Nov-2013 11:34   47M  
[   ] Gecode-4.2.1-x86-2013.msi       05-Nov-2013 11:31   47M  
[   ] gecode-4.2.1.7z                 05-Nov-2013 10:22  1.2M  
[   ] Gecode-4.2.1.dmg                06-Nov-2013 01:40   22M  
[   ] gecode-4.2.1.tar.gz             05-Nov-2013 10:26  1.8M  
[   ] Gecode-4.3.0-x64-2012.msi       01-Sep-2014 16:41   56M  
[   ] Gecode-4.3.0-x64-2013.msi       01-Sep-2014 15:45   56M  
[   ] Gecode-4.3.0-x86-2012.msi       01-Sep-2014 16:39   52M  
[   ] Gecode-4.3.0-x86-2013.msi       01-Sep-2014 16:34   52M  
[   ] gecode-4.3.0.7z                 03-Sep-2014 11:09  1.6M  
[   ] Gecode-4.3.0.dmg                03-Sep-2014 02:35   25M  
[   ] gecode-4.3.0.tar.gz             03-Sep-2014 11:09  2.2M  
[   ] Gecode-4.3.1-x64-2012.msi       22-Oct-2014 15:25   56M  
[   ] Gecode-4.3.1-x64-2013.msi       22-Oct-2014 15:19   56M  
[   ] Gecode-4.3.1-x86-2012.msi       22-Oct-2014 15:22   52M  
[   ] Gecode-4.3.1-x86-2013.msi       22-Oct-2014 15:18   52M  
[   ] gecode-4.3.1.7z                 22-Oct-2014 14:31  1.6M  
[   ] Gecode-4.3.1.dmg                23-Oct-2014 08:51   26M  
[   ] gecode-4.3.1.tar.gz             22-Oct-2014 14:31  2.3M  
[   ] Gecode-4.3.2-x64-2012.msi       06-Nov-2014 12:03   57M  
[   ] Gecode-4.3.2-x64-2013.msi       06-Nov-2014 11:56   57M  
[   ] Gecode-4.3.2-x86-2012.msi       06-Nov-2014 12:01   53M  
[   ] Gecode-4.3.2-x86-2013.msi       06-Nov-2014 11:57   53M  
[   ] gecode-4.3.2.7z                 06-Nov-2014 11:02  1.8M  
[   ] Gecode-4.3.2.dmg                07-Nov-2014 08:07   26M  
[   ] gecode-4.3.2.tar.gz             06-Nov-2014 11:03  2.7M  
[   ] Gecode-4.3.3-x64-2012.msi       21-Jan-2015 10:27   57M  
[   ] Gecode-4.3.3-x64-2013.msi       21-Jan-2015 10:20   57M  
[   ] Gecode-4.3.3-x86-2012.msi       21-Jan-2015 10:24   53M  
[   ] Gecode-4.3.3-x86-2013.msi       21-Jan-2015 10:20   53M  
[   ] gecode-4.3.3.7z                 20-Jan-2015 22:09  1.8M  
[   ] Gecode-4.3.3.dmg                21-Jan-2015 04:01   26M  
[   ] gecode-4.3.3.tar.gz             20-Jan-2015 22:09  2.7M  
[   ] Gecode-4.4.0-x64-2012.msi       14-Apr-2015 15:17   54M  
[   ] Gecode-4.4.0-x64-2013.msi       14-Apr-2015 15:17   54M  
[   ] Gecode-4.4.0-x86-2012.msi       14-Apr-2015 15:18   51M  
[   ] Gecode-4.4.0-x86-2013.msi       14-Apr-2015 15:19   51M  
[   ] gecode-4.4.0.7z                 20-Mar-2015 16:22  1.8M  
[   ] Gecode-4.4.0.dmg                23-Mar-2015 01:35   26M  
[   ] gecode-4.4.0.tar.gz             20-Mar-2015 16:23  2.8M  
[   ] 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-3.4.1.7z             07-Oct-2010 17:08  3.5M  
[   ] gecode-doc-3.4.1.tag.gz         07-Oct-2010 17:08  655K  
[   ] gecode-doc-3.4.1.tar.gz         07-Oct-2010 17:08  8.0M  
[   ] gecode-doc-3.4.2.7z             09-Oct-2010 14:30  3.5M  
[   ] gecode-doc-3.4.2.tag.gz         09-Oct-2010 14:30  653K  
[   ] gecode-doc-3.4.2.tar.gz         09-Oct-2010 14:30  8.0M  
[   ] gecode-doc-3.5.0.7z             01-Feb-2011 14:55  3.5M  
[   ] gecode-doc-3.5.0.tag.gz         01-Feb-2011 14:55  657K  
[   ] gecode-doc-3.5.0.tar.gz         01-Feb-2011 14:55  8.0M  
[   ] gecode-doc-3.6.0.7z             14-Jul-2011 11:25  3.7M  
[   ] gecode-doc-3.6.0.tag.gz         14-Jul-2011 11:25  677K  
[   ] gecode-doc-3.6.0.tar.gz         14-Jul-2011 11:25  8.3M  
[   ] gecode-doc-3.7.0.7z             29-Aug-2011 17:29  3.8M  
[   ] gecode-doc-3.7.0.tag.gz         29-Aug-2011 17:29  693K  
[   ] gecode-doc-3.7.0.tar.gz         29-Aug-2011 17:29  8.6M  
[   ] gecode-doc-3.7.1.7z             10-Oct-2011 10:29  3.8M  
[   ] gecode-doc-3.7.1.tag.gz         10-Oct-2011 10:30  694K  
[   ] gecode-doc-3.7.1.tar.gz         10-Oct-2011 10:30  8.6M  
[   ] gecode-doc-3.7.2.7z             21-Mar-2012 06:40  3.8M  
[   ] gecode-doc-3.7.2.tag.gz         21-Mar-2012 06:40  694K  
[   ] gecode-doc-3.7.2.tar.gz         21-Mar-2012 06:40   10M  
[   ] gecode-doc-3.7.3.7z             22-Mar-2012 23:17  3.8M  
[   ] gecode-doc-3.7.3.tag.gz         22-Mar-2012 23:17  694K  
[   ] gecode-doc-3.7.3.tar.gz         22-Mar-2012 23:18   10M  
[   ] gecode-doc-4.0.0.7z             14-Mar-2013 21:49  4.5M  
[   ] gecode-doc-4.0.0.tag.gz         14-Mar-2013 21:49  865K  
[   ] gecode-doc-4.0.0.tar.gz         14-Mar-2013 21:49   10M  
[   ] gecode-doc-4.1.0.7z             02-Jul-2013 11:18  4.5M  
[   ] gecode-doc-4.1.0.tag.gz         02-Jul-2013 11:18  872K  
[   ] gecode-doc-4.1.0.tar.gz         02-Jul-2013 11:18   11M  
[   ] gecode-doc-4.2.0.7z             19-Jul-2013 14:33  4.6M  
[   ] gecode-doc-4.2.0.tag.gz         19-Jul-2013 14:33  877K  
[   ] gecode-doc-4.2.0.tar.gz         19-Jul-2013 14:33   11M  
[   ] gecode-doc-4.2.1.7z             05-Nov-2013 10:23  4.6M  
[   ] gecode-doc-4.2.1.tag.gz         05-Nov-2013 10:26  878K  
[   ] gecode-doc-4.2.1.tar.gz         05-Nov-2013 10:28   11M  
[   ] gecode-doc-4.3.0.7z             03-Sep-2014 11:09  5.1M  
[   ] gecode-doc-4.3.0.tag.gz         03-Sep-2014 11:09  883K  
[   ] gecode-doc-4.3.0.tar.gz         03-Sep-2014 11:09   11M  
[   ] gecode-doc-4.3.1.7z             22-Oct-2014 14:31  5.1M  
[   ] gecode-doc-4.3.1.tag.gz         22-Oct-2014 14:31  884K  
[   ] gecode-doc-4.3.1.tar.gz         22-Oct-2014 14:31   11M  
[   ] gecode-doc-4.3.2.7z             06-Nov-2014 11:03  5.4M  
[   ] gecode-doc-4.3.2.tag.gz         06-Nov-2014 11:03  886K  
[   ] gecode-doc-4.3.2.tar.gz         06-Nov-2014 11:03   12M  
[   ] gecode-doc-4.3.3.7z             20-Jan-2015 22:09  5.4M  
[   ] gecode-doc-4.3.3.tag.gz         20-Jan-2015 22:09  888K  
[   ] gecode-doc-4.3.3.tar.gz         20-Jan-2015 22:10   12M  
[   ] gecode-doc-4.4.0.7z             20-Mar-2015 16:22  5.4M  
[   ] gecode-doc-4.4.0.tag.gz         20-Mar-2015 16:23  890K  
[   ] gecode-doc-4.4.0.tar.gz         20-Mar-2015 16:23   12M  
[   ] 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-doc-search-3.4.1.7z      07-Oct-2010 17:08  4.8M  
[   ] gecode-doc-search-3.4.1.tag.gz  07-Oct-2010 17:08  655K  
[   ] gecode-doc-search-3.4.1.tar.gz  07-Oct-2010 17:08   11M  
[   ] gecode-doc-search-3.4.2.7z      09-Oct-2010 14:30  4.8M  
[   ] gecode-doc-search-3.4.2.tag.gz  09-Oct-2010 14:30  653K  
[   ] gecode-doc-search-3.4.2.tar.gz  09-Oct-2010 14:30   11M  
[   ] gecode-doc-search-3.5.0.7z      01-Feb-2011 14:55  4.8M  
[   ] gecode-doc-search-3.5.0.tag.gz  01-Feb-2011 14:55  657K  
[   ] gecode-doc-search-3.5.0.tar.gz  01-Feb-2011 14:55   11M  
[   ] gecode-doc-search-3.6.0.7z      14-Jul-2011 11:25  5.0M  
[   ] gecode-doc-search-3.6.0.tag.gz  14-Jul-2011 11:25  677K  
[   ] gecode-doc-search-3.6.0.tar.gz  14-Jul-2011 11:25   11M  
[   ] gecode-doc-search-3.7.0.7z      29-Aug-2011 17:29  5.1M  
[   ] gecode-doc-search-3.7.0.tag.gz  29-Aug-2011 17:29  693K  
[   ] gecode-doc-search-3.7.0.tar.gz  29-Aug-2011 17:29   12M  
[   ] gecode-doc-search-3.7.1.7z      10-Oct-2011 10:30  5.1M  
[   ] gecode-doc-search-3.7.1.tag.gz  10-Oct-2011 10:30  694K  
[   ] gecode-doc-search-3.7.1.tar.gz  10-Oct-2011 10:30   12M  
[   ] gecode-doc-search-3.7.2.7z      21-Mar-2012 06:40  5.0M  
[   ] gecode-doc-search-3.7.2.tag.gz  21-Mar-2012 06:40  694K  
[   ] gecode-doc-search-3.7.2.tar.gz  21-Mar-2012 06:40   13M  
[   ] gecode-doc-search-3.7.3.7z      22-Mar-2012 23:18  5.0M  
[   ] gecode-doc-search-3.7.3.tag.gz  22-Mar-2012 23:18  694K  
[   ] gecode-doc-search-3.7.3.tar.gz  22-Mar-2012 23:18   14M  
[   ] gecode-doc-search-4.0.0.7z      14-Mar-2013 21:49  6.1M  
[   ] gecode-doc-search-4.0.0.tag.gz  14-Mar-2013 21:49  865K  
[   ] gecode-doc-search-4.0.0.tar.gz  14-Mar-2013 21:49   14M  
[   ] gecode-doc-search-4.1.0.7z      02-Jul-2013 11:18  6.2M  
[   ] gecode-doc-search-4.1.0.tag.gz  02-Jul-2013 11:18  872K  
[   ] gecode-doc-search-4.1.0.tar.gz  02-Jul-2013 11:18   14M  
[   ] gecode-doc-search-4.2.0.7z      19-Jul-2013 14:33  6.2M  
[   ] gecode-doc-search-4.2.0.tag.gz  19-Jul-2013 14:33  877K  
[   ] gecode-doc-search-4.2.0.tar.gz  19-Jul-2013 14:33   14M  
[   ] gecode-doc-search-4.2.1.7z      05-Nov-2013 10:25  6.3M  
[   ] gecode-doc-search-4.2.1.tag.gz  05-Nov-2013 10:28  878K  
[   ] gecode-doc-search-4.2.1.tar.gz  05-Nov-2013 10:32   15M  
[   ] gecode-doc-search-4.3.0.7z      03-Sep-2014 11:09  6.8M  
[   ] gecode-doc-search-4.3.0.tag.gz  03-Sep-2014 11:09  883K  
[   ] gecode-doc-search-4.3.0.tar.gz  03-Sep-2014 11:09   15M  
[   ] gecode-doc-search-4.3.1.7z      22-Oct-2014 14:31  6.8M  
[   ] gecode-doc-search-4.3.1.tag.gz  22-Oct-2014 14:31  884K  
[   ] gecode-doc-search-4.3.1.tar.gz  22-Oct-2014 14:31   15M  
[   ] gecode-doc-search-4.3.2.7z      06-Nov-2014 11:03  7.1M  
[   ] gecode-doc-search-4.3.2.tag.gz  06-Nov-2014 11:03  886K  
[   ] gecode-doc-search-4.3.2.tar.gz  06-Nov-2014 11:03   16M  
[   ] gecode-doc-search-4.3.3.7z      20-Jan-2015 22:09  7.1M  
[   ] gecode-doc-search-4.3.3.tag.gz  20-Jan-2015 22:10  888K  
[   ] gecode-doc-search-4.3.3.tar.gz  20-Jan-2015 22:10   16M  
[   ] gecode-doc-search-4.4.0.7z      20-Mar-2015 16:23  7.1M  
[   ] gecode-doc-search-4.4.0.tag.gz  20-Mar-2015 16:23  890K  
[   ] gecode-doc-search-4.4.0.tar.gz  20-Mar-2015 16:23   16M  
[   ] 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  
[   ] searchcombinators-0.9.1.tgz     08-Mar-2012 05:24  7.5M  
[   ] searchcombinators-0.9.1.zip     08-Mar-2012 08:48  7.6M  
[   ] searchcombinators-0.9.2.tgz     12-Mar-2012 01:00  7.5M  
[   ] searchcombinators-0.9.2.zip     12-Mar-2012 01:02  7.5M  
[   ] searchcombinators-0.9.3.tgz     03-Oct-2012 01:46  7.6M  
[   ] searchcombinators-0.9.3.zip     03-Oct-2012 01:46  7.7M  
[   ] searchcombinators-0.9.tgz       06-Mar-2012 05:11  7.5M  
[   ] searchcombinators-0.9.zip       06-Mar-2012 05:17  7.5M