gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/misc/debian/changelog

@@ -0,0 +1,6 @@
+gecode (0.9-1) unstable; urgency=low
+
+  * Inofficial beta release. 
+
+ -- Guido Tack <tack@frisch.ps.uni-sb.de>  Wed, 16 Feb 2005 15:14:05 +0100
+

data/ext/gecode-1.3.1/misc/debian/control

@@ -0,0 +1,11 @@
+Source: gecode
+Section: devel
+Priority: optional
+Build-Depends: debhelper (>= 4.0.0)
+Maintainer: Guido Tack <tack@ps.uni-sb.de>
+Standards-Version: 3.6.0
+
+Package: gecode
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: The Generic Constraint Development Environment

data/ext/gecode-1.3.1/misc/debian/copyright

@@ -0,0 +1,44 @@
+This is the Debian/GNU prepackaged version of Gecode, the Generic
+Constraint Development Environment.
+
+The Debian package was put together by Guido Tack <tack@gecode.org> using
+sources obtained from
+
+    http://www.gecode.org
+
+The original license of Gecode follows:
+
+		  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.

data/ext/gecode-1.3.1/misc/debian/gecode.info

@@ -0,0 +1,9 @@
+Package: gecode
+Version: 0.9
+Revision: 1
+Source: http://www.ps.uni-sb.de/alice/download/%n-%v.tar.gz
+Maintainer: Guido Tack <tack@ps.uni-sb.de>
+HomePage: http://www.gecode.org
+License: BSD
+Description: The Gecode Constraint Library
+Source-MD5: INSERTMD5HERE

data/ext/gecode-1.3.1/misc/debian/gecode.install

@@ -0,0 +1,2 @@
+usr/lib/gecode
+usr/include/gecode

data/ext/gecode-1.3.1/misc/debian/gecode.spec

@@ -0,0 +1,58 @@
+Name: gecode
+Version: 0.9
+Release: 1
+Copyright: X11
+Summary: The Gecode Constraint Library
+Group: Development/Languages
+Source0: gecode-%{version}.tar.gz
+Vendor: The Gecode Project
+URL: http://www.gecode.org
+Packager: Guido Tack <tack@ps.uni-sb.de>
+Requires: /bin/bash
+Requires: /bin/sh
+Requires: libc.so.6
+Requires: libc.so.6(GLIBC_2.0)
+Requires: libc.so.6(GLIBC_2.1)
+Requires: libc.so.6(GLIBC_2.1.3)
+Requires: libc.so.6(GLIBC_2.2)
+Requires: libc.so.6(GLIBC_2.3)
+Requires: libdl.so.2
+Requires: libdl.so.2(GLIBC_2.0)
+Requires: libdl.so.2(GLIBC_2.1)
+Requires: libgcc_s.so.1
+Requires: libgcc_s.so.1(GCC_3.0)
+Requires: libm.so.6
+Requires: libm.so.6(GLIBC_2.0)
+Requires: libstdc++.so.5
+Requires: libstdc++.so.5(GLIBCPP_3.2)
+
+BuildArchitectures: i386
+BuildRoot: %{_tmppath}/%{name}-%{version}
+AutoReqProv: no
+
+%description
+More information can be found on the Gecode web site at http://www.gecode.org.
+
+%prep
+rm -rf %{buildroot}
+%setup -q -D -a 0 -c
+
+%build
+cd gecode-%{version}
+%configure
+
+%install
+cd gecode-%{version}
+%makeinstall
+
+%clean
+rm -rf %{buildroot}
+
+%files
+%defattr(-, root, root)
+%{_includedir}/gecode/*
+%{_libdir}/gecode/*
+
+%changelog
+* Thu Feb 17 2005 Guido Tack <tack@ps.uni-sb.de>
+- Beta release

data/ext/gecode-1.3.1/misc/debian/rules

@@ -0,0 +1,81 @@
+#!/usr/bin/make -f
+
+# Gecode for Debian/GNU
+# Guido Tack <tack@ps.uni-sb.de>
+
+# needed if dpkg-buildpackage is not used
+
+export DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+export DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+# cross-compilation
+
+ifeq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE))
+  configure_options += --build $(DEB_BUILD_GNU_TYPE)
+else
+  configure_options += --host $(DEB_HOST_GNU_TYPE) --build $(DEB_BUILD_GNU_TYPE)
+endif
+
+# generic Debian directories
+
+DEB_BASE_DIR = $(CURDIR)
+DEB_DEBIAN_DIR = $(DEB_BASE_DIR)/debian
+DEB_SOURCE_DIR = $(DEB_BASE_DIR)
+DEB_BUILD_DIR = $(DEB_DEBIAN_DIR)/BUILD
+DEB_INSTALL_DIR = $(DEB_DEBIAN_DIR)/INSTALL
+
+# generic targets
+
+configure: configure-stamp
+configure-stamp: 
+	dh_testdir
+	-mkdir $(DEB_BUILD_DIR)
+	cd $(DEB_BUILD_DIR) && \
+	$(DEB_SOURCE_DIR)/configure --prefix=/usr $(configure_options)
+	echo > $@
+
+build: build-stamp
+build-stamp: configure-stamp 
+	dh_testdir
+	cd $(DEB_BUILD_DIR) && $(MAKE)
+	echo > $@
+
+install: install-stamp
+install-stamp: build-stamp
+	dh_testdir
+	dh_testroot
+	dh_clean
+	dh_installdirs
+	-mkdir $(DEB_INSTALL_DIR)
+	cd $(DEB_BUILD_DIR) && $(MAKE) install DESTDIR=$(DEB_INSTALL_DIR)
+	echo > $@
+
+clean:
+	dh_testdir
+	dh_testroot
+	rm -f configure-stamp build-stamp install-stamp
+	rm -rf $(DEB_BUILD_DIR) $(DEB_INSTALL_DIR)
+	-$(MAKE) distclean
+	dh_clean
+
+# package-specific targets
+
+binary-arch: build install
+	dh_testdir
+	dh_testroot
+	dh_install --sourcedir=$(DEB_INSTALL_DIR)
+	dh_installdocs
+	dh_installchangelogs
+	dh_strip
+	dh_compress
+	dh_fixperms
+	dh_installdeb
+	dh_makeshlibs -V
+	dh_shlibdeps
+	dh_gencontrol
+	dh_md5sums
+	dh_builddeb
+
+binary: binary-arch
+
+.PHONY: configure build install clean binary-arch binary

data/ext/gecode-1.3.1/misc/doxygen/footer.html

@@ -0,0 +1,3 @@
+</div></div>
+</body>
+</html>

data/ext/gecode-1.3.1/misc/doxygen/header.html

@@ -0,0 +1,46 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html><head><meta http-equiv="Content-Type" content="text/html;charset=iso-8859-1">
+<title>$title</title>
+<link href="$relpath$stylesheet.css" rel="stylesheet" type="text/css">
+<!--[if IE]><style type="text/css">
+  @media screen {
+    html, body {
+      height: 100%; overflow-y: hidden;
+      background:#FFFFFF url(back.png) repeat-y;
+      font-family:Arial,Helvetica,sans-serif;
+      color:#000000;
+      margin:0;
+      padding:0;
+    }
+    #scrollable {
+      height: 100%; width: 100%; overflow: auto;
+    }
+  }
+</style><![endif]-->
+</head>
+
+<body>
+
+<div id="logo">
+<img src='$relpath$gecode-logo-100.png' alt="Gecode logo" /></div>
+
+<div id="navigation">
+  <div id="navigation2">
+    <a class="navigation" href="index.html">main page</a>
+    <a class="navigation" href="modules.html">modules</a>
+    <a class="navigation" href="namespaces.html">namespaces</a>
+    <a class="navigation" href="annotated.html">classes</a>
+    <a class="navigation" href="files.html">files</a>
+    <br>
+    <a class="navigation" href="http://www.gecode.org/index.html">Gecode home</a>
+<form action="search.php" method="get"><a class="navigation" title="Search for keywords in the entire documentation">search&nbsp;for&nbsp;<input type="text" name="query" value="" size="20" accesskey="s"/></a></form>
+    </div>
+</div>
+
+<div id="footline">
+<address style="text-align: right;"><small>
+Generated on $datetime for $projectname by&nbsp;<a href="http://www.doxygen.org/index.html">doxygen</a> $doxygenversion</small></address>
+</div>
+
+<div id="scrollable">
+<div id="content">

data/ext/gecode-1.3.1/misc/doxygen/stylesheet.css

@@ -0,0 +1,460 @@
+body,html {
+background:#FFFFFF url(back.png) repeat-y;
+font-family:Arial,Helvetica,sans-serif;
+color:#000000;
+margin:0;
+padding:0;
+}
+
+#content {
+position:absolute; top:30px; left:60px;
+width:60%;
+padding:0 0 50px 0;
+color:#000000;
+}
+
+#contentfront {
+position:absolute; top:250px; left:60px;
+width:50%;
+padding:0 0 50px 0;
+color:#000000;
+}
+
+#logo {
+position:absolute; top:20px; left:75%;
+}
+html>body #logo {
+position:fixed;
+}
+
+#headline {
+position:absolute; top:15px; left:330px;
+width:40%;
+}
+
+#headlinefront {
+position:absolute; top:20px; left:320px;
+width:40%;
+}
+
+#footline {
+position:absolute; bottom:10px; left:70%;
+background:#FFFFFF;
+width:26%;
+border-top:1px dotted #27393E;
+padding:5px 0 0 0;
+z-index:4;
+}
+html>body #footline {
+position:fixed;
+}
+
+#navigation {
+position:absolute; top:120px; left:70%;
+width:26%;
+/*height:200px;*/
+background:#FFFFFF;
+padding:0px 10px 10px 0px;
+/*border-left:5px solid #0b7646;*/
+border-left: 1px dotted #27393E;
+/*border-bottom:1px dotted #27393E;*/
+/*padding:0;*/
+margin:0px;
+vertical-align:bottom;
+z-index:4;
+}
+html>body #navigation {
+position:fixed;
+}
+#navigation2 {
+padding:11px 0 0 15px;
+margin:0;
+z-index:5;
+}
+
+#news {
+position:absolute; top:200px; left:70%;
+width:200px;
+/*padding:0px 10px 10px 0px;*/
+padding:0 19px 100px 14px;
+border-left:1px dotted #27393E;
+/*border-bottom:1px dotted #27393E;*/
+z-index:2;
+}
+
+/*
+  Links
+*/
+
+a {
+color:#005ba1;
+text-decoration: underline;
+}
+
+a:visited {
+color:#005ba1;
+text-decoration: none;
+}
+
+a:hover {
+background-color: #f2f2ff
+}
+
+a.el {
+color:#005ba1;
+text-decoration: underline;
+}
+
+a.el:visited {
+color:#005ba1;
+text-decoration: none;
+}
+
+a.anchor {
+color:#000000;
+text-decoration:none;
+}
+
+a.navigation {
+font-family:Verdana,Arial,Helvetica,sans-serif;
+font-size:100%;
+text-decoration:none;
+border-right:5px solid #0b7646;
+letter-spacing:2px;
+color:#0b7646;
+padding:0 8px 1px 8px;
+margin:4px 0 0 0;
+/*width:169px;*/
+display:block;
+}
+
+a.navigation2 {
+font-family:Verdana,Arial,Helvetica,sans-serif;
+font-size:100%;
+text-decoration:none;
+border-right:5px solid #000000;
+letter-spacing:2px;
+color:#000000;
+padding:0 8px 1px 8px;
+margin:4px 0 0 0;
+display:block;
+}
+
+a.navigation3 {
+font-family:Verdana,Arial,Helvetica,sans-serif;
+font-size:100%;
+text-decoration:none;
+border-right:5px solid #000000;
+letter-spacing:2px;
+color:#555555;
+padding:0 8px 1px 8px;
+margin:4px 0 0 0;
+display:block;
+}
+
+a.navigation:visited {
+color:#0b7646;
+}
+
+a.navigation:hover {
+background:#0b7646;
+color:#FFFFFF;
+}
+
+a.navigation2:hover {
+background:none;
+}
+
+BODY,TD {
+       font-size: 90%;
+}
+H1 {
+	text-align: center;
+       font-size: 130%;
+}
+H2 {
+       font-size: 115%;
+}
+H3 {
+       font-size: 100%;
+}
+CAPTION {}
+
+DIV.qindex {
+	width: 100%;
+	border: 1px solid #b0b0b0;
+	text-align: center;
+	margin: 2px;
+	padding: 2px;
+	line-height: 140%;
+}
+DIV.nav {
+	width: 100%;
+	border: 1px solid #b0b0b0;
+	text-align: center;
+	margin: 2px;
+	padding: 2px;
+	line-height: 140%;
+}
+DIV.navtab {
+       border: 1px solid #b0b0b0;
+       text-align: center;
+       margin: 2px;
+       margin-right: 15px;
+       padding: 2px;
+}
+TD.navtab {
+       font-size: 70%;
+}
+A.qindex {
+       text-decoration: none;
+       color: #0b7646;
+}
+A.qindex:visited {
+       text-decoration: none;
+       color:#07472a;
+}
+A.qindex:hover {
+	text-decoration: none;
+	background-color:#0b7646;
+	color:#FFFFFF;
+}
+A.qindexHL {
+	text-decoration: none;
+	background-color: #6666cc;
+	color: #ffffff;
+	border: 1px double #9295C2;
+}
+A.qindexHL:hover {
+	text-decoration: none;
+	background-color:#0b7646;
+	color:#FFFFFF;
+}
+A.qindexHL:visited { text-decoration: none; background-color: #6666cc; color: #ffffff }
+A.el { text-decoration: none;
+}
+A.elRef {
+}
+A.code:link { text-decoration: none; font-weight: normal; color: #0000FF}
+A.code:visited { text-decoration: none; font-weight: normal; color: #0000FF}
+A.codeRef:link { font-weight: normal; color: #0000FF}
+A.codeRef:visited { font-weight: normal; color: #0000FF}
+A:hover { text-decoration: none; background-color: #f2f2ff }
+DL.el { margin-left: -1cm }
+.fragment {
+       font-family: Fixed, monospace;
+       font-size: 95%;
+}
+PRE.fragment {
+	border: 1px solid #CCCCCC;
+	background-color: #f5f5f5;
+	margin-top: 4px;
+	margin-bottom: 4px;
+	margin-left: 2px;
+	margin-right: 8px;
+	padding-left: 6px;
+	padding-right: 6px;
+	padding-top: 4px;
+	padding-bottom: 4px;
+}
+DIV.ah { background-color: black;
+color: #ffffff; margin-bottom: 3px; margin-top: 3px }
+TD.md { background-color: #F4F4FB; }
+TD.mdPrefix {
+       background-color: #F4F4FB;
+       color: #606060; font-size: 80%;
+}
+TD.mdname1 { background-color: #F4F4FB; color: #602020; }
+TD.mdname { background-color: #F4F4FB; color: #602020; }
+DIV.groupHeader {
+       margin-left: 16px;
+       margin-top: 12px;
+       margin-bottom: 6px;
+}
+DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }
+BODY {
+	background: white;
+	color: black;
+	margin-right: 20px;
+	margin-left: 20px;
+}
+TD.indexkey {
+	padding-right  : 10px;
+	padding-top    : 2px;
+	padding-left   : 10px;
+	padding-bottom : 2px;
+	margin-left    : 0px;
+	margin-right   : 0px;
+	margin-top     : 2px;
+	margin-bottom  : 2px;
+	border: 1px solid #CCCCCC;
+}
+TD.indexvalue {
+	font-style: italic;
+	padding-right  : 10px;
+	padding-top    : 2px;
+	padding-left   : 10px;
+	padding-bottom : 2px;
+	margin-left    : 0px;
+	margin-right   : 0px;
+	margin-top     : 2px;
+	margin-bottom  : 2px;
+	border: 1px solid #CCCCCC;
+}
+TR.memlist {
+   background-color: #f0f0f0; 
+}
+P.formulaDsp { text-align: center; }
+IMG.formulaDsp { }
+IMG.formulaInl { vertical-align: middle; }
+SPAN.keyword       { color: #008000 }
+SPAN.keywordtype   { color: #604020 }
+SPAN.keywordflow   { color: #e08000 }
+SPAN.comment       { color: #800000 }
+SPAN.preprocessor  { color: #806020 }
+SPAN.stringliteral { color: #002080 }
+SPAN.charliteral   { color: #008080 }
+.mdTable {
+	border: 1px solid #868686;
+	background-color: #F4F4FB;
+}
+.mdRow {
+	padding: 8px 10px;
+}
+.mdescLeft {
+       padding: 0px 8px 4px 8px;
+	font-size: 80%;
+	font-style: italic;
+	background-color: #FAFAFA;
+	border-top: 1px none #E0E0E0;
+	border-right: 1px none #E0E0E0;
+	border-bottom: 1px none #E0E0E0;
+	border-left: 1px none #E0E0E0;
+	margin: 0px;
+}
+.mdescRight {
+       padding: 0px 8px 4px 8px;
+	font-size: 80%;
+	font-style: italic;
+	background-color: #FAFAFA;
+	border-top: 1px none #E0E0E0;
+	border-right: 1px none #E0E0E0;
+	border-bottom: 1px none #E0E0E0;
+	border-left: 1px none #E0E0E0;
+	margin: 0px;
+}
+.memItemLeft {
+	padding: 1px 0px 0px 8px;
+	margin: 4px;
+	border-top-width: 1px;
+	border-right-width: 1px;
+	border-bottom-width: 1px;
+	border-left-width: 1px;
+	border-top-color: #E0E0E0;
+	border-right-color: #E0E0E0;
+	border-bottom-color: #E0E0E0;
+	border-left-color: #E0E0E0;
+	border-top-style: solid;
+	border-right-style: none;
+	border-bottom-style: none;
+	border-left-style: none;
+	background-color: #FAFAFA;
+	font-size: 80%;
+}
+.memItemRight {
+	padding: 1px 8px 0px 8px;
+	margin: 4px;
+	border-top-width: 1px;
+	border-right-width: 1px;
+	border-bottom-width: 1px;
+	border-left-width: 1px;
+	border-top-color: #E0E0E0;
+	border-right-color: #E0E0E0;
+	border-bottom-color: #E0E0E0;
+	border-left-color: #E0E0E0;
+	border-top-style: solid;
+	border-right-style: none;
+	border-bottom-style: none;
+	border-left-style: none;
+	background-color: #FAFAFA;
+	font-size: 80%;
+}
+.memTemplItemLeft {
+	padding: 1px 0px 0px 8px;
+	margin: 4px;
+	border-top-width: 1px;
+	border-right-width: 1px;
+	border-bottom-width: 1px;
+	border-left-width: 1px;
+	border-top-color: #E0E0E0;
+	border-right-color: #E0E0E0;
+	border-bottom-color: #E0E0E0;
+	border-left-color: #E0E0E0;
+	border-top-style: none;
+	border-right-style: none;
+	border-bottom-style: none;
+	border-left-style: none;
+	background-color: #FAFAFA;
+	font-size: 80%;
+}
+.memTemplItemRight {
+	padding: 1px 8px 0px 8px;
+	margin: 4px;
+	border-top-width: 1px;
+	border-right-width: 1px;
+	border-bottom-width: 1px;
+	border-left-width: 1px;
+	border-top-color: #E0E0E0;
+	border-right-color: #E0E0E0;
+	border-bottom-color: #E0E0E0;
+	border-left-color: #E0E0E0;
+	border-top-style: none;
+	border-right-style: none;
+	border-bottom-style: none;
+	border-left-style: none;
+	background-color: #FAFAFA;
+	font-size: 80%;
+}
+.memTemplParams {
+	padding: 1px 0px 0px 8px;
+	margin: 4px;
+	border-top-width: 1px;
+	border-right-width: 1px;
+	border-bottom-width: 1px;
+	border-left-width: 1px;
+	border-top-color: #E0E0E0;
+	border-right-color: #E0E0E0;
+	border-bottom-color: #E0E0E0;
+	border-left-color: #E0E0E0;
+	border-top-style: solid;
+	border-right-style: none;
+	border-bottom-style: none;
+	border-left-style: none;
+        color: #606060;
+	background-color: #FAFAFA;
+	font-size: 80%;
+}
+.search     { color: #003399;
+}
+FORM.search {
+              margin-bottom: 0px;
+              margin-top: 0px;
+}
+INPUT.search { font-size: 75%;
+               color: #000080;
+               font-weight: normal;
+}
+TD.tiny      { font-size: 75%;
+}
+.dirtab { padding: 4px;
+          border-collapse: collapse;
+          border: 1px solid #b0b0b0;
+}
+TH.dirtab {}
+HR { height: 1px;
+     border: none;
+     border-top: 1px solid black;
+}
+UL {
+	list-style-type: square;
+}