gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/configure.ac

@@ -0,0 +1,179 @@
+dnl This file was generated by Makefile.contribs.
+dnl Do not edit! Modifications will get lost!
+dnl Edit configure.ac.in instead.
+
+dnl
+dnl Main authors:
+dnl   Guido Tack <tack@gecode.org>
+dnl
+dnl Copyright:
+dnl   Guido Tack, 2004, 2005
+dnl
+dnl Last modified:
+dnl   $Date: 2006-10-25 13:51:24 +0200 (Wed, 25 Oct 2006) $
+dnl   by $Author: schulte $
+dnl   $Revision: 3787 $
+dnl
+dnl This file is part of Gecode, the generic constraint
+dnl development environment:
+dnl   http://www.gecode.org
+dnl
+dnl See the file "LICENSE" for information on usage and
+dnl redistribution of this file, and for a
+dnl   DISCLAIMER OF ALL WARRANTIES.
+dnl
+dnl
+
+AC_REVISION([$Id: configure.ac 3787 2006-10-25 11:51:24Z schulte $])
+AC_PREREQ(2.53)
+AC_INIT(GECODE, 1.3.1, users@gecode.org)
+AC_CONFIG_HEADERS([gecode/config.icc])
+AC_CONFIG_SRCDIR(gecode/kernel.hh)
+
+ac_gecode_soversion=8
+
+# checks for programs
+
+: ${CXXFLAGS=""} dnl we do not want autoconf's default
+
+AC_PROG_CXX
+AC_LANG(C++)
+
+AC_PROG_RANLIB
+
+dnl include Gecode specific macros
+m4_include([gecode.m4])
+
+dnl check whether we have pkgconfig and should generate config files for it
+AC_GECODE_PKGCONFIG
+
+dnl determine the operating system
+AC_GECODE_GET_OS
+
+dnl determine which compiler we are using
+AC_CXX_COMPILER_VENDOR(ac_gecode_compiler_vendor)
+
+dnl check whether we want to build universal binaries on Mac OS X
+AC_GECODE_UNIVERSAL
+
+dnl check whether we want to build static libraries
+AC_GECODE_STATICLIBS
+
+dnl check whether we want to have assertions and debugging options
+AC_GECODE_DEBUG
+
+dnl check whether we want to have support for finding memory leaks
+AC_GECODE_LEAK_DEBUG
+
+dnl check whether we want audit code in our build
+AC_GECODE_AUDIT
+
+dnl check whether we want to use visibility attributes with gcc
+AC_GECODE_GCC_VISIBILITY
+
+dnl check whether we want to produce code suitable for profiling
+AC_GECODE_PROFILE
+
+dnl check platform specific behaviour of arithmetic
+AC_GECODE_CHECK_ARITH
+
+case $ac_gecode_compiler_vendor in
+gnu)
+  dnl general compiler flags
+  AC_GECODE_UNIX_PATHS
+  AC_GECODE_GCC_GENERAL_SWITCHES
+
+  if test "${enable_debug:-no}" = "no"; then
+    dnl compiler flags for an optimized build
+    AC_GECODE_GCC_OPTIMIZED_SWITCHES
+
+    AC_GECODE_CHECK_CXXFLAG([-finline-limit=3000])
+    AC_GECODE_CHECK_CXXFLAG([-ffast-math])
+    AC_GECODE_CHECK_CXXFLAG([-mthreads])
+  else
+    dnl compiler flags for a debug build
+    AC_GECODE_GCC_DEBUG_SWITCHES
+  fi
+
+  ;;
+intel)
+  dnl flags for creating dlls
+  case $host_os in
+     windows*)
+       AC_GECODE_MSVC_SWITCHES
+       ;;
+     *)
+       dnl general compiler flags
+       AC_GECODE_UNIX_PATHS
+       AC_GECODE_GCC_GENERAL_SWITCHES
+
+       if test "${enable_debug:-no}" = "no"; then
+         dnl compiler flags for an optimized build
+	 AC_GECODE_GCC_OPTIMIZED_SWITCHES
+       else
+         dnl compiler flags for a debug build
+	 AC_GECODE_GCC_DEBUG_SWITCHES
+       fi
+       ;;
+  esac
+  ;;
+microsoft)
+  AC_GECODE_MSVC_SWITCHES
+  ;;
+*)
+  AC_MSG_ERROR(Gecode currently only supports the GNU and Microsoft compilers.)
+  ;;
+esac
+
+dnl find out what parts the user wants to build
+
+AC_GECODE_DOC_SWITCHES
+
+dnl ------------------------------------------------------------------
+dnl Enabling of non-variable contribs
+dnl @CONTRIBS@
+
+dnl ------------------------------------------------------------------
+dnl Definition of variable types
+
+dnl Include contributor's vtis
+dnl @VTIS@
+
+AC_GECODE_VTI(set,
+	[finite set library (implies --enable-int-vars)],
+	yes,
+	[AC_DEFINE(GECODE_HAVE_SET_VARS)
+	 enable_int_vars="yes";])
+
+AC_GECODE_VTI(int, finite domain library, yes,
+	      [AC_DEFINE(GECODE_HAVE_INT_VARS)])
+
+dnl End of definition of variable types
+dnl ------------------------------------------------------------------
+
+AC_GECODE_ENABLE_MODULE(examples, yes,
+	[build examples for the enabled variable types],
+	[enable_search="yes";
+	 if test ${enable_int_vars:-yes} = "yes"; then
+	   enable_minimodel="yes";
+	 fi;
+	])
+
+AC_GECODE_ENABLE_MODULE(minimodel, yes,
+	[build modeling support library for the enabled variable types])
+
+
+AC_GECODE_ENABLE_MODULE(search, yes,
+        [build search engines])
+
+dnl Configure contributions
+AC_CONFIG_SUBDIRS()
+dnl @SUBDIRS@
+
+AC_SUBST(PKG_CONFIG_CXXFLAGS, ${ac_gecode_pkg_cxxflags})
+AC_SUBST(VERSION, ${PACKAGE_VERSION})
+AC_SUBST(DLLFLAGS, ${DLLFLAGS})
+
+AC_CONFIG_FILES([Makefile doxygen.conf doxygen.hh
+	misc/gecode.pc misc/gecode-search.pc misc/gecode-minimodel.pc])
+AC_OUTPUT

data/ext/gecode-1.3.1/configure.ac.in

@@ -0,0 +1,175 @@
+dnl
+dnl Main authors:
+dnl   Guido Tack <tack@gecode.org>
+dnl
+dnl Copyright:
+dnl   Guido Tack, 2004, 2005
+dnl
+dnl Last modified:
+dnl   $Date: 2006-10-25 13:51:24 +0200 (Wed, 25 Oct 2006) $
+dnl   by $Author: schulte $
+dnl   $Revision: 3787 $
+dnl
+dnl This file is part of Gecode, the generic constraint
+dnl development environment:
+dnl   http://www.gecode.org
+dnl
+dnl See the file "LICENSE" for information on usage and
+dnl redistribution of this file, and for a
+dnl   DISCLAIMER OF ALL WARRANTIES.
+dnl
+dnl
+
+AC_REVISION([$Id: configure.ac.in 3787 2006-10-25 11:51:24Z schulte $])
+AC_PREREQ(2.53)
+AC_INIT(GECODE, 1.3.1, users@gecode.org)
+AC_CONFIG_HEADERS([gecode/config.icc])
+AC_CONFIG_SRCDIR(gecode/kernel.hh)
+
+ac_gecode_soversion=8
+
+# checks for programs
+
+: ${CXXFLAGS=""} dnl we do not want autoconf's default
+
+AC_PROG_CXX
+AC_LANG(C++)
+
+AC_PROG_RANLIB
+
+dnl include Gecode specific macros
+m4_include([gecode.m4])
+
+dnl check whether we have pkgconfig and should generate config files for it
+AC_GECODE_PKGCONFIG
+
+dnl determine the operating system
+AC_GECODE_GET_OS
+
+dnl determine which compiler we are using
+AC_CXX_COMPILER_VENDOR(ac_gecode_compiler_vendor)
+
+dnl check whether we want to build universal binaries on Mac OS X
+AC_GECODE_UNIVERSAL
+
+dnl check whether we want to build static libraries
+AC_GECODE_STATICLIBS
+
+dnl check whether we want to have assertions and debugging options
+AC_GECODE_DEBUG
+
+dnl check whether we want to have support for finding memory leaks
+AC_GECODE_LEAK_DEBUG
+
+dnl check whether we want audit code in our build
+AC_GECODE_AUDIT
+
+dnl check whether we want to use visibility attributes with gcc
+AC_GECODE_GCC_VISIBILITY
+
+dnl check whether we want to produce code suitable for profiling
+AC_GECODE_PROFILE
+
+dnl check platform specific behaviour of arithmetic
+AC_GECODE_CHECK_ARITH
+
+case $ac_gecode_compiler_vendor in
+gnu)
+  dnl general compiler flags
+  AC_GECODE_UNIX_PATHS
+  AC_GECODE_GCC_GENERAL_SWITCHES
+
+  if test "${enable_debug:-no}" = "no"; then
+    dnl compiler flags for an optimized build
+    AC_GECODE_GCC_OPTIMIZED_SWITCHES
+
+    AC_GECODE_CHECK_CXXFLAG([-finline-limit=3000])
+    AC_GECODE_CHECK_CXXFLAG([-ffast-math])
+    AC_GECODE_CHECK_CXXFLAG([-mthreads])
+  else
+    dnl compiler flags for a debug build
+    AC_GECODE_GCC_DEBUG_SWITCHES
+  fi
+
+  ;;
+intel)
+  dnl flags for creating dlls
+  case $host_os in
+     windows*)
+       AC_GECODE_MSVC_SWITCHES
+       ;;
+     *)
+       dnl general compiler flags
+       AC_GECODE_UNIX_PATHS
+       AC_GECODE_GCC_GENERAL_SWITCHES
+
+       if test "${enable_debug:-no}" = "no"; then
+         dnl compiler flags for an optimized build
+	 AC_GECODE_GCC_OPTIMIZED_SWITCHES
+       else
+         dnl compiler flags for a debug build
+	 AC_GECODE_GCC_DEBUG_SWITCHES
+       fi
+       ;;
+  esac
+  ;;
+microsoft)
+  AC_GECODE_MSVC_SWITCHES
+  ;;
+*)
+  AC_MSG_ERROR(Gecode currently only supports the GNU and Microsoft compilers.)
+  ;;
+esac
+
+dnl find out what parts the user wants to build
+
+AC_GECODE_DOC_SWITCHES
+
+dnl ------------------------------------------------------------------
+dnl Enabling of non-variable contribs
+dnl @CONTRIBS@
+
+dnl ------------------------------------------------------------------
+dnl Definition of variable types
+
+dnl Include contributor's vtis
+dnl @VTIS@
+
+AC_GECODE_VTI(set,
+	[finite set library (implies --enable-int-vars)],
+	yes,
+	[AC_DEFINE(GECODE_HAVE_SET_VARS)
+	 enable_int_vars="yes";])
+
+AC_GECODE_VTI(int, finite domain library, yes,
+	      [AC_DEFINE(GECODE_HAVE_INT_VARS)])
+
+dnl End of definition of variable types
+dnl ------------------------------------------------------------------
+
+AC_GECODE_ENABLE_MODULE(examples, yes,
+	[build examples for the enabled variable types],
+	[enable_search="yes";
+	 if test ${enable_int_vars:-yes} = "yes"; then
+	   enable_minimodel="yes";
+	 fi;
+	])
+
+AC_GECODE_ENABLE_MODULE(minimodel, yes,
+	[build modeling support library for the enabled variable types])
+
+
+AC_GECODE_ENABLE_MODULE(search, yes,
+        [build search engines])
+
+dnl Configure contributions
+AC_CONFIG_SUBDIRS()
+dnl @SUBDIRS@
+
+AC_SUBST(PKG_CONFIG_CXXFLAGS, ${ac_gecode_pkg_cxxflags})
+AC_SUBST(VERSION, ${PACKAGE_VERSION})
+AC_SUBST(DLLFLAGS, ${DLLFLAGS})
+
+AC_CONFIG_FILES([Makefile doxygen.conf doxygen.hh
+	misc/gecode.pc misc/gecode-search.pc misc/gecode-minimodel.pc])
+AC_OUTPUT

data/ext/gecode-1.3.1/contribs/README

@@ -0,0 +1,26 @@
+                      GECODE CONTRIBUTIONS
+======================================================================
+
+1. External contributions
+This directory contains external contributions to the Gecode
+system. Please see our web pages for more information about the
+contributors:
+
+http://www.gecode.org/contributions.html
+
+2. Installation
+The contributions are distributed together with Gecode to ease
+compilation and installation. They are not enabled by default. Please
+refer to the installation instructions in the individual
+subdirectories if you want to use these contributions.
+
+3. License issues
+The external contributions may be distributed under a license that is
+different from the Gecode license. Please see the individual LICENSE
+files in the contributed subdirectories.
+
+4. Bugs
+Please do not use the Gecode bugtracking system to report bugs in
+external contributions. If you find bugs in contributed code, please
+see the contributors' web pages for information on how to contact
+them.

data/ext/gecode-1.3.1/contribs/graph/INSTALL

@@ -0,0 +1,53 @@
+
+/*
+ *  Main authors:
+ *     Gr�goire Dooms <dooms@info.ucl.ac.be>
+ *
+ *  Copyright:
+ *     Gr�goire Dooms (Universit� catholique de Louvain), 2005
+ *
+ *  Last modified:
+ *     $Date: 2005-11-29 10:57:21 +0100 (Tue, 29 Nov 2005) $
+ *     $Revision: 271 $
+ *
+ *  This file is part of CP(Graph)
+ *
+ *  See the file "contribs/graph/LICENSE" for information on usage and
+ *  redistribution of this file, and for a
+ *     DISCLAIMER OF ALL WARRANTIES.
+ *
+ */
+
+1. To obtain CP(Graph):
+
+This software is released along with the main Gecode software as a Gecode contribution.
+You can download it by downloading the Gecode source code from the subversion
+repositories: 
+
+svn co https://svn.gecode.org/svn/trunk/gecode
+
+The CP(Graph) code is located in the contribs sub-directory and will be
+checked-out from our repository in the same process.
+
+2. To compile CP(Graph):
+
+in the top Gecode source directory, run
+make -f Makefile.contribs
+
+This will check for available contributions in the contrib directory and include them form further configuration and compilation. If you want to completely avoid the processing of one of these directories, touch a file named after the same name as the directory but with a .dis extention : for instance to disable the contribution in contribs/test, create the file contribs/test.dis. 
+
+It will also create the configure script (and configure.ac) from the configure.ac.in template.
+
+Then you can consult the various configuration options provided by the main gecode source and the contributions by running:
+./configure --help=recursive
+
+To compile CP(Graph) you will need the Boost Graph Library. Its default location under Linux is /usr/include. Under Windows, if installed by Cygwin, its default location is c:\cygwin\usr\include\boost-1_33. You can override that location by providing the option --with-boost-include=path_to_boost to the configure script. For instance:
+./configure --with-boost-include=/usr/local/boost-svn/
+
+You can disable a contribution at this stage by passing --disable-contrib_name to the configure script.
+
+The configure script invocation will call the configure scripts of the enabled contributions.
+
+Then, compiling Gecode using  make; make install, will compile the enabled contributions by recursively executing the Makefile of each enabled contribution.
+
+

data/ext/gecode-1.3.1/contribs/graph/LICENSE

@@ -0,0 +1,11 @@
+Copyright (c) 2005, Gr�goire Dooms ( Universit� catholique de Louvain )
+All rights reserved.
+Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+
+Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+   Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+   Neither the name of the Universit� catholique de Louvain nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
+
+
+   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.