gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/misc/fixproperties.sh

@@ -0,0 +1,32 @@
+#!/bin/sh
+#
+#  Main authors:
+#     Guido Tack <tack@gecode.org>
+#
+#  Copyright:
+#     Guido Tack, 2006
+#
+#  Last modified:
+#     $Date: 2006-07-12 15:50:22 +0200 (Wed, 12 Jul 2006) $ by $Author: tack $
+#     $Revision: 3348 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  See the file "LICENSE" for information on usage and
+#  redistribution of this file, and for a
+#     DISCLAIMER OF ALL WARRANTIES.
+#
+#
+
+set -e
+
+# List of file extensions for which properties should be set
+KEYWORDEXTS="cc icc hh sh perl ac in"
+
+for ext in ${KEYWORDEXTS}; do
+    find . -name "*.$ext" ! -wholename './contribs/*' -prune \
+    -exec svn propset svn:keywords 'Author Date Id Revision' "{}" ";"
+done
+

data/ext/gecode-1.3.1/misc/gecode-minimodel.pc.in

@@ -0,0 +1,12 @@
+# Package Information for pkg-config
+
+prefix=@cygpathprefix@
+exec_prefix=@exec_prefix@
+libdir=@libdir@
+includedir=@includedir@
+
+Name: Gecode Minimodel
+Description: Generic Constraint Development Environment Minimodel
+Version: @VERSION@
+Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@MM@@LINKSUFFIX@
+Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-1.3.1/misc/gecode-search.pc.in

@@ -0,0 +1,12 @@
+# Package Information for pkg-config
+
+prefix=@cygpathprefix@
+exec_prefix=@exec_prefix@
+libdir=@libdir@
+includedir=@includedir@
+
+Name: Gecode Search Engines
+Description: Generic Constraint Development Environment Search Engines
+Version: @VERSION@
+Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SEARCH@@LINKSUFFIX@
+Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-1.3.1/misc/gecode.pc.in

@@ -0,0 +1,12 @@
+# Package Information for pkg-config
+
+prefix=@cygpathprefix@
+exec_prefix=@exec_prefix@
+libdir=@libdir@
+includedir=@includedir@
+
+Name: Gecode
+Description: Generic Constraint Development Environment
+Version: @VERSION@
+Libs: @MINUSLDIR@ @LINKLIBDIR@@LINKPREFIX@@KERNEL@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@INT@@LINKSUFFIX@ @LINKLIBDIR@@LINKPREFIX@@SET@@LINKSUFFIX@
+Cflags: -I${includedir} @PKG_CONFIG_CXXFLAGS@

data/ext/gecode-1.3.1/misc/genchangelog.perl

@@ -0,0 +1,190 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2006-07-18 17:36:47 +0200 (Tue, 18 Jul 2006) $ by $Author: schulte $
+#     $Revision: 3393 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  See the file "LICENSE" for information on usage and
+#  redistribution of this file, and for a
+#     DISCLAIMER OF ALL WARRANTIES.
+#
+#
+
+print <<EOF
+/**
+
+EOF
+;
+
+
+# 
+# Compile changelog
+#
+
+$first   = 1;
+$version = "";
+$info    = "";
+
+$modclear{"kernel"} = "Kernel";
+$modclear{"search"} = "Search engines";
+$modclear{"int"} = "Finite domain integers";
+$modclear{"set"} = "Finite integer sets";
+$modclear{"minimodel"} = "Minimal modelling support";
+$modclear{"iter"} = "Range and value iterators";
+$modclear{"support"} = "Support algorithms and datastructures";
+$modclear{"example"} = "\%Example scripts";
+$modclear{"test"} = "Systematic tests";
+$modclear{"other"} = "General";
+
+$whatclear{"bug"} = "Bug fixes";
+$whatclear{"performance"} = "Performance improvements";
+$whatclear{"documentation"} = "Documentation fixes";
+$whatclear{"new"} = "Additions";
+$whatclear{"removed"} = "Removals";
+$whatclear{"change"} = "Other changes";
+
+$rankclear{"minor"} = "minor";
+$rankclear{"major"} = "major";
+
+@modorder = ("kernel","search","int","set","minimodel",
+	     "iter","support","example","test","other");
+
+@whatorder = ("new","removed","change","bug","performance","documentation");
+
+foreach $mod (@modorder) {
+  $hastext{$mod} = 0;
+  foreach $what (@whatorder) {
+    $text{"$mod-$what"} = "";
+  }
+}
+
+$versions = "";
+
+while ($l = <>) {
+ LINE:
+  next if ($l =~ /^\#/);
+  if ($l =~ /^\[RELEASE\]/) {
+    # Print previous
+    if (!$first) {
+      $sid = "PageChanges_$version";
+      $sid =~ s|\.|_|g;
+      $versions = $versions . "\n - \\ref $sid \"Gecode $version ($date)\"";
+      print "\\page $sid Changes in Version $version ($date)\n\n";
+
+      print "$info\n\n";
+
+      foreach $mod (@modorder) {
+	if ($hastext{$mod}) {
+	  print " - " . $modclear{$mod} . "\n";
+	  $hastext{$mod} = 0;
+	  foreach $what (@whatorder) {
+	    if (!($text{"$mod-$what"} eq "")) {
+	      print "   - " . $whatclear{$what} . "\n";
+	      print $text{"$mod-$what"};
+	      $text{"$mod-$what"} = "";
+	      print "      .\n";
+	    }
+	  }
+	  print "   .\n";
+	}
+      }
+      print "\n\n";
+    }
+    $first   = 0;
+    $version = "";
+    $info    = "";
+    $date    = "";
+    while (($l = <>) && !($l =~ /\[DESCRIPTION\]/)) {
+      if ($l =~ /Version:[\t ]*(.*)$/) {
+	$version = $1;
+      } elsif ($l =~ /Date:[\t ]*(.*)$/) {
+	$date    = $1;
+      }
+    }
+    while (($l = <>) && !($l =~ /\[ENTRY\]/)) {
+      chop $l;
+      $info = $info . " " . $l;
+    }
+    goto LINE;
+  }
+  if ($l =~ /^\[ENTRY\]/) {
+    my $mod, $what, $rank, $bug, $desc, $thanks;
+    $desc = "";
+    $bug = "";
+    $rank = "";
+    $what = "";
+    $mod = "";
+    $thanks = "";
+    while (($l = <>) && !($l =~ /\[DESCRIPTION\]/)) {
+      if ($l =~ /Module:[\t ]*(.*)$/) {
+	$mod  = $1;
+      } elsif ($l =~ /What:[\t ]*(.*)$/) {
+	$what = $1;
+      } elsif ($l =~ /Rank:[\t ]*(.*)$/) {
+	$rank = $1;
+      } elsif ($l =~ /Bug:[\t ]*(.*)$/) {
+	$bug  = $1;
+      } elsif ($l =~ /Thanks:[\t ]*(.*)$/) {
+	$thanks  = $1;
+      }
+    }
+    
+    while (($l = <>) && 
+	   !(($l =~ /\[ENTRY\]/) || ($l =~ /\[RELEASE\]/))) {
+      chop $l;
+      $desc = $desc . " " . $l;
+    }
+    $hastext{$mod} = 1;
+    $rb = $rankclear{$rank};
+    if (!($bug eq "")) {
+      $rb = $rb . ", <a href=\"http://www.gecode.org/bugzilla/show_bug.cgi?id="
+	. $bug . "\">bugzilla entry</a>";
+    }
+    if (!($thanks eq "")) {
+      $rb = $rb . ", thanks to $thanks";
+    }
+    $text{"$mod-$what"} = 
+      ($text{"$mod-$what"} . "      - $desc (" . $rb . ")\n");
+    goto LINE;
+  }
+}
+
+print <<EOF
+
+\\page PageChanges_1_0_0 Changes in Version 1.0.0 (2005-12-06, initial release)
+
+No changes, of course.
+
+\\page PageChange Changelog
+
+\\section SectionChangeList Changes in Gecode Versions
+
+$versions
+ - \\ref PageChanges_1_0_0 "Gecode 1.0.0 (2005-12-06)"
+
+\\section SectionChangeWhat Gecode Version Numbers
+
+Gecode version numbers <em>x</em>.<em>y</em>.<em>z</em> change
+according to the following rules (of thumb):
+
+ - when \\e z changes, the programming interfaces for 
+   \\ref TaskInt, \\ref TaskMiniModel, and \\ref TaskSearch remain
+   stable and only minor additions or improvements are included.
+ - when \\e y changes, the above mentioned interfaces might have changed
+   and medium to major additions or improvements are included.
+ - the change of \\e x is reserved for radical changes to %Gecode.
+
+EOF
+;
+
+print "\n\n*/\n";

data/ext/gecode-1.3.1/misc/genlicense.perl

@@ -0,0 +1,113 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2006-03-30 19:42:28 +0200 (Thu, 30 Mar 2006) $ by $Author: schulte $
+#     $Revision: 3141 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  See the file "LICENSE" for information on usage and
+#  redistribution of this file, and for a
+#     DISCLAIMER OF ALL WARRANTIES.
+#
+#
+
+# 
+# Get authors of all files
+#
+
+%main = ();
+%fix  = ();
+
+while ($l = <>) {
+  if (($l =~ /Main authors:/) || ($l =~ /Contributing authors:/)) {
+    while (($l = <>) && ($l =~ /([A-Z].*) <(.*)>/)) {
+      $main{$1} = $2;
+    }
+  } elsif ($l =~ /provided by:/) {
+    while (($l = <>) && ($l =~ /([A-Z].*) <(.*)>/)) {
+      $fix{$1} = $2;
+    }
+  }
+}
+
+print <<EOF
+/**
+  \\page PageLic Gecode license and authors
+
+\\section SectLicLic GECODE LICENSE AGREEMENT
+			 
+This software and its documentation are copyrighted by the
+individual authors as listed in each file. The following
+terms apply to all files associated with the software unless
+explicitly disclaimed in individual files.
+
+The authors hereby grant permission to use, copy, modify,
+distribute, and license this software and its documentation
+for any purpose, provided that existing copyright notices
+are retained in all copies and that this notice is included
+verbatim in any distributions. No written agreement,
+license, or royalty fee is required for any of the
+authorized uses. Modifications to this software may be
+copyrighted by their authors and need not follow the
+licensing terms described here, provided that the new terms
+are clearly indicated on the first page of each file where
+they apply.
+
+IN NO EVENT SHALL THE AUTHORS OR DISTRIBUTORS BE LIABLE TO
+ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR
+CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS
+SOFTWARE, ITS DOCUMENTATION, OR ANY DERIVATIVES THEREOF,
+EVEN IF THE AUTHORS HAVE BEEN ADVISED OF THE POSSIBILITY OF
+SUCH DAMAGE.
+
+THE AUTHORS AND DISTRIBUTORS SPECIFICALLY DISCLAIM ANY
+WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
+PURPOSE, AND NON-INFRINGEMENT.  THIS SOFTWARE AND ITS
+DOCUMENTATION ARE PROVIDED ON AN "AS IS" BASIS, AND THE
+AUTHORS AND DISTRIBUTORS HAVE NO OBLIGATION TO PROVIDE
+MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
+MODIFICATIONS.
+
+\\section SecLicAuthors Gecode authors
+
+The following authors have contributed to the %Gecode library
+and its documentation (in alphabetical order of firstname):
+EOF
+;
+
+
+foreach $n (sort(keys(%main))) {
+  $e = $main{$n};
+  print " - $n <$e>\n";
+}
+
+print <<EOF
+
+The above authors are grateful to the following people who have provided
+bugfixes:
+EOF
+;
+
+foreach $n (sort(keys(%fix))) {
+  print " - $n\n";
+}
+
+print <<EOF
+
+We are also grateful for our users reporting bugs and suggesting 
+improvements.
+
+*/
+EOF
+;
+

data/ext/gecode-1.3.1/misc/genstatistics.perl

@@ -0,0 +1,155 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2005-11-10 11:33:57 +0100 (Thu, 10 Nov 2005) $ by $Author: zayenz $
+#     $Revision: 2534 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  See the file "LICENSE" for information on usage and
+#  redistribution of this file, and for a
+#     DISCLAIMER OF ALL WARRANTIES.
+#
+#
+
+# 
+# Get statistics for all files
+#
+
+$i = 0;
+
+while ($file = @ARGV[$i++]) {
+  open(FILE,"<$file");
+  my $module = "UNKNOWN";
+  my $cat    = "UNKNOWN";
+  my $n_blank;
+  my $n_comment;
+  my $n_code;
+  my $n_class;
+  while ($l = <FILE>) {
+    if ($l =~ /\/\/ STATISTICS: ([A-Za-z]+)-([A-Za-z]+)/) {
+      $module = $1;
+      $cat    = $2;
+    }
+    if ($l =~ /^[ \t]*$/) {
+      $n_blank += 1;
+    } elsif ($l =~ /^[ \t]*\/\//) {
+      $n_comment += 1;
+    } elsif ($l =~ /\/\*/) {
+      $n_comment += 1;
+      while (!($l =~ /\*\//) && ($l = <FILE>)) {
+	$n_comment += 1;
+      }
+    } else {
+      $n_code += 1;
+    }
+    if ($l =~ /class [A-Za-z_][A-Za-z0-9_]*.*\{/) {
+      $n_class += 1;
+    }
+  }
+  if ($module eq "UNKNOWN") {
+    print "UNKNOWN: $file\n";
+    exit 1;
+  }
+  $m{$module} = 1;
+  $c{$cat} = 1;
+  $class{"$module-$cat"} += $n_class;
+  $comment{"$module-$cat"} += $n_comment;
+  $blank{"$module-$cat"} += $n_blank;
+  $code{"$module-$cat"} += $n_code;
+  close FILE;
+}
+
+@modorder = ("kernel","search","int","set","minimodel",
+	     "iter","support","example","test");
+
+@catorder = ("core","var","prop","branch","post",
+	     "int","set","stress","any","other");
+$i = 0;
+
+$modclear{"kernel"} = "Kernel";
+$modclear{"search"} = "Search engines";
+$modclear{"int"} = "Finite domain integers";
+$modclear{"set"} = "Finite integer sets";
+$modclear{"minimodel"} = "Minimal modelling support";
+$modclear{"iter"} = "Range and value iterators";
+$modclear{"support"} = "Support algorithms and datastructures";
+$modclear{"example"} = "\%Example scripts";
+$modclear{"test"} = "Systematic tests";
+
+$catclear{"core"} = "Core functionality";
+$catclear{"var"} = "Variables, views, and variable implementations";
+$catclear{"prop"} = "Propagators";
+$catclear{"branch"} = "Branchings";
+$catclear{"post"} = "Posting propagators and branchings";
+$catclear{"any"} = "All";
+$catclear{"other"} = "Miscellaneous";
+$catclear{"int"} = "Finite domain integers";
+$catclear{"set"} = "Finite integer sets";
+$catclear{"stress"} = "System stress";
+
+print <<EOF
+/**
+  \\page PageCodeStat Gecode code statistics
+
+The following approximate breakdown into the different parts of %Gecode
+gives some statistics about the amount of code and documentation 
+contained in the code (as comments) where blank lines are excluded. 
+
+The abbreviation "loc" means "lines of code" and "lod" means "lines of 
+documentation".
+
+EOF
+;
+
+
+$an_code    = 0;
+$an_comment = 0;
+$an_class   = 0;
+
+foreach $module (@modorder) {
+  print " - " . $modclear{$module} . ": ";
+  $mn_code    = 0;
+  $mn_comment = 0;
+  $mn_class   = 0;
+  $n_cat = 0;
+  $doc = "";
+  foreach $cat (@catorder) {
+    $k = "$module-$cat";
+    if ($code{$k}) {
+      $n_cat += 1;
+      $doc = $doc . "   - " . $catclear{$cat} . ": ";
+      $mn_code    += $code{$k};
+      $mn_comment += $comment{$k};
+      $mn_class   += $class{$k};
+      $doc = $doc .  $class{$k} . " classes, ";
+      $doc = $doc .  $code{$k} . " loc, ";
+      $doc = $doc .  $comment{$k} . " lod\n";
+    }
+  } 
+  print $mn_class . " classes, " . $mn_code . " loc, " . $mn_comment . " lod\n";
+  if ($n_cat > 1) {
+    print $doc;
+  }
+  $an_code    += $mn_code;
+  $an_comment += $mn_comment;
+  $an_class   += $mn_class;
+}
+
+
+print <<EOF
+
+The grand total: $an_class classes, $an_code loc, $an_comment lod
+
+*/
+EOF
+;
+