dep-selector-libgecode 1.0.0.alpha.0

data/ext/libgecode3/vendor/gecode-3.7.3/misc/genlicense.perl

@@ -0,0 +1,121 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2009-09-30 18:41:29 +1000 (Wed, 30 Sep 2009) $ by $Author: tack $
+#     $Revision: 9778 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  Permission is hereby granted, free of charge, to any person obtaining
+#  a copy of this software and associated documentation files (the
+#  "Software"), to deal in the Software without restriction, including
+#  without limitation the rights to use, copy, modify, merge, publish,
+#  distribute, sublicense, and/or sell copies of the Software, and to
+#  permit persons to whom the Software is furnished to do so, subject to
+#  the following conditions:
+#
+#  The above copyright notice and this permission notice shall be
+#  included in all copies or substantial portions of the Software.
+#
+#  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+#  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+#  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+#  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+#  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+#
+#
+
+# 
+# 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} = "";
+    }
+  }
+}
+
+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. All files, unless explicitly disclaimed in individual files, may be used according to the terms of the
+<a href="http://www.opensource.org/licenses/mit-license.php">
+MIT license</a>, which reads as follows:
+
+<TT>
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+</TT>
+
+\\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/libgecode3/vendor/gecode-3.7.3/misc/genrc.perl

@@ -0,0 +1,236 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2010
+#
+#  Last modified:
+#     $Date: 2011-01-19 22:58:04 +1100 (Wed, 19 Jan 2011) $ by $Author: schulte $
+#     $Revision: 11552 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  Permission is hereby granted, free of charge, to any person obtaining
+#  a copy of this software and associated documentation files (the
+#  "Software"), to deal in the Software without restriction, including
+#  without limitation the rights to use, copy, modify, merge, publish,
+#  distribute, sublicense, and/or sell copies of the Software, and to
+#  permit persons to whom the Software is furnished to do so, subject to
+#  the following conditions:
+#
+#  The above copyright notice and this permission notice shall be
+#  included in all copies or substantial portions of the Software.
+#
+#  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+#  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+#  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+#  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+#  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+#
+#
+
+
+$dlldescription{"Kernel"} = "kernel";
+$dlldescription{"Search"} = "search engines";
+$dlldescription{"Int"} = "finite domain integers";
+$dlldescription{"Set"} = "finite integer sets";
+$dlldescription{"Minimodel"} = "minimal modeling support";
+$dlldescription{"Graph"} = "graph constraints";
+$dlldescription{"Scheduling"} = "scheduling constraints";
+$dlldescription{"Driver"} = "script commandline driver";
+$dlldescription{"FlatZinc"} = "FlatZinc interpreter library";
+$dlldescription{"Gist"} = "Gist";
+$dlldescription{"Support"} = "support algorithms and datastructures";
+
+$i = 0;
+
+# Includes Gecode version and more
+$dllsuffix = $ARGV[$i++];
+
+if ($dllsuffix =~ /-([0-9]+)-([0-9]+)-([0-9]+)-([rd])-x[0-9]+\.dll/) {
+  $revx = $1; $revy = $2; $revz = $3;
+  $mode = $4;
+}
+
+# Directory where source files reside
+$dir = $ARGV[$i++];
+
+# File for which a resource template is to be generated
+$file = $ARGV[$i++];
+
+# Source files follows from folloeing argument positions
+$n_srcfiles = 0;
+while ($arg = $ARGV[$i]) {
+  $srcfile[$n_srcfiles] = "$dir/$arg";
+  $n_srcfiles++; $i++;
+}
+
+print <<EOF
+/*
+ *  CAUTION:
+ *    This file has been automatically generated. Do not edit,
+ *    edit the following files instead:
+ *     - $dir/misc/genrc.perl
+EOF
+;
+
+for ($f=0; $f<$n_srcfiles; $f++) {
+  print " *     - $srcfile[$f]\n";
+}
+
+print <<EOF
+ *
+ *  This file contains generated code fragments which are
+ *  copyrighted as follows:
+ *
+ *  Main author:
+ *     Christian Schulte <schulte\@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2010
+ *
+ *  The generated code fragments are part of Gecode, the generic
+ *  constraint development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+EOF
+;
+
+# Find authors for copyright from srcfiles
+for ($f=0; $f<$n_srcfiles; $f++) {
+  open SRCFILE, $srcfile[$f];
+  $incopyright = 0;
+  while ($l = <SRCFILE>) {
+    if ($incopyright) {
+      if ($l =~ /\*.*Last modified:/) {
+	$incopyright = 0;
+      } elsif ($l =~ /\*\s*(.*), [0-9]+/) {
+	$authors{$1} = 1;
+      }
+    } elsif ($l =~ /\*.*Copyright:/) {
+      $incopyright = 1;
+    }
+  }
+  close SRCFILE;
+}
+$copyright = "";
+foreach $a (sort(keys(%authors))) {
+  $copyright = $copyright . ", " . $a;
+}
+$copyright =~ s|^, ||o;
+
+if ($file =~ /Gecode(.*)-([0-9]+-[0-9]+-[0-9]+-[rd]-.+)\.dll$/) {
+  $filename    = $file;
+  $filetype    = "VFT_DLL";
+  $icon        = 0;
+  $basename    = "Gecode$1-$2";
+  $description = "Gecode " . $dlldescription{$1};
+} else {
+  $filetype    = "VFT_APP";
+  $icon        = 1;
+  if ($file =~ /fz\.exe/) {
+    $filename    = "fz.exe";
+    $basename    = "fz";
+    $description = "Gecode FlatZinc interpreter";
+  } elsif ($file =~ /test\.exe/) {
+    $filename    = "fz.exe";
+    $basename    = "fz";
+    $description = "Gecode systematic tests";
+  } elsif ($file =~ /examples\/(.+)\.exe/) {
+    $filename    = "$1.exe";
+    $basename    = "$1";
+    open SRCFILE, $srcfile[0];
+    $example = "";
+    while ($l = <SRCFILE>) {
+      if ($l =~ /\\brief.*Example: (.*)/) {
+	$example = $1;
+      }
+    }
+    $example =~ s|\%||og;
+    close SRCFILE;
+    $description = "Gecode example: $example";
+  } else {
+    die "Illegal file";
+  }
+}
+
+if ($mode =~ /r/) {
+  $debug = 0;
+} else {
+  $debug = "VS_FF_DEBUG";
+}
+
+
+print <<EOF
+
+#include <windows.h>
+
+EOF
+;
+
+if ($icon) {
+  print "0 ICON \"misc/gecode-logo.ico\"\n";
+}
+
+print <<EOF
+
+VS_VERSION_INFO VERSIONINFO
+FILEVERSION    	$revx,$revy,$revz,0
+PRODUCTVERSION 	$revx,$revy,$revz,0
+FILEFLAGSMASK  	VS_FFI_FILEFLAGSMASK
+FILEFLAGS      	$debug
+FILEOS         	VOS_UNKNOWN
+FILETYPE       	$filetype
+FILESUBTYPE    	VFT2_UNKNOWN
+BEGIN
+    BLOCK "StringFileInfo"
+    BEGIN
+        BLOCK "040904E4"
+        BEGIN
+            VALUE "CompanyName",      "Gecode team"
+            VALUE "FileDescription",  "$description"
+            VALUE "FileVersion",      "$revx.$revy.$revz"
+            VALUE "InternalName",     "$basename"
+            VALUE "LegalCopyright",   "$copyright (license information available from www.gecode.org)"
+            VALUE "OriginalFilename", "$filename"
+            VALUE "ProductName",      "Gecode"
+            VALUE "ProductVersion",   "$revx.$revy.$revz"
+        END
+    END
+
+    BLOCK "VarFileInfo"
+    BEGIN
+        VALUE "Translation", 0x409, 1252
+    END
+END
+
+EOF
+;
+

data/ext/libgecode3/vendor/gecode-3.7.3/misc/genstatistics.perl

@@ -0,0 +1,178 @@
+#!/usr/bin/perl
+#
+#  Main authors:
+#     Christian Schulte <schulte@gecode.org>
+#
+#  Copyright:
+#     Christian Schulte, 2005
+#
+#  Last modified:
+#     $Date: 2011-10-07 20:31:48 +1100 (Fri, 07 Oct 2011) $ by $Author: schulte $
+#     $Revision: 12428 $
+#
+#  This file is part of Gecode, the generic constraint
+#  development environment:
+#     http://www.gecode.org
+#
+#  Permission is hereby granted, free of charge, to any person obtaining
+#  a copy of this software and associated documentation files (the
+#  "Software"), to deal in the Software without restriction, including
+#  without limitation the rights to use, copy, modify, merge, publish,
+#  distribute, sublicense, and/or sell copies of the Software, and to
+#  permit persons to whom the Software is furnished to do so, subject to
+#  the following conditions:
+#
+#  The above copyright notice and this permission notice shall be
+#  included in all copies or substantial portions of the Software.
+#
+#  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+#  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+#  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+#  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+#  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+#  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+#  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+#
+#
+
+#
+# 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","driver",
+	     "iter","support","example","test","flatzinc");
+
+@catorder = ("core","var","prop","branch","post",
+	     "int","set","minimodel","stress","any",
+	     "sequential","parallel",
+	     "other");
+$i = 0;
+
+$modclear{"kernel"} = "Kernel";
+$modclear{"search"} = "Search engines";
+$modclear{"int"} = "Finite domain integers";
+$modclear{"set"} = "Finite integer sets";
+$modclear{"minimodel"} = "Minimal modeling support";
+$modclear{"driver"} = "Script commandline driver";
+$modclear{"iter"} = "Range and value iterators";
+$modclear{"support"} = "Support algorithms and datastructures";
+$modclear{"example"} = "\%Example scripts";
+$modclear{"test"} = "Systematic tests";
+$modclear{"flatzinc"} = "FlatZinc interpreter";
+
+
+$catclear{"core"} = "Core functionality";
+$catclear{"var"} = "Variables, views, and variable implementations";
+$catclear{"prop"} = "Propagators";
+$catclear{"branch"} = "Branchers";
+$catclear{"sequential"} = "Sequential search engines";
+$catclear{"parallel"} = "Parallel search engines";
+$catclear{"post"} = "Posting propagators for constraints";
+$catclear{"any"} = "All";
+$catclear{"other"} = "Miscellaneous";
+$catclear{"int"} = "Finite domain integers";
+$catclear{"set"} = "Finite integer sets";
+$catclear{"minimodel"} = "Minimal modeling support";
+$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
+;
+