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-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-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-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