gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/examples/timer.hh

@@ -0,0 +1,72 @@
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2004
+ *
+ *  Bugfixes provided by:
+ *     Javier Andr�s Mena Zapata <javimena@gmail.com>
+ *
+ *  Last modified:
+ *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
+ *     $Revision: 3188 $
+ *
+ *  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.
+ *
+ */
+
+#ifndef __GECODE_EXAMPLES_TIMER_HH__
+#define __GECODE_EXAMPLES_TIMER_HH__
+
+#include <ctime>
+#include <cmath>
+
+#include "gecode/config.icc"
+
+/*
+ * Support for measuring time
+ *
+ */
+
+/// Timer interface used for examples
+class Timer {
+private:
+  clock_t t0;
+public:
+  void start(void);
+  double stop(void);
+};
+
+forceinline void
+Timer::start(void) {
+  t0 = clock();
+}
+forceinline double
+Timer::stop(void) {
+  return (static_cast<double>(clock()-t0) / CLOCKS_PER_SEC) * 1000.0;
+}
+
+
+/**
+ * \brief Compute arithmetic mean of \a n elements in \a t
+ * \relates Timer
+ */
+double
+am(double t[], int n);
+/**
+ * \brief Compute deviation of \a n elements in \a t
+ * \relates Timer
+ */
+double
+dev(double t[], int n);
+
+#endif
+
+// STATISTICS: example-any

data/ext/gecode-1.3.1/examples/warehouses.cc

@@ -0,0 +1,176 @@
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2005
+ *
+ *  Last modified:
+ *     $Date: 2006-08-04 16:06:52 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
+ *     $Revision: 3517 $
+ *
+ *  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.
+ *
+ */
+
+#include "examples/support.hh"
+#include "gecode/minimodel.hh"
+
+/// Number of warehouses
+static const int n_suppliers = 5;
+/// Number of stores
+static const int n_stores = 10;
+
+/// Cost of building one warehouse
+static const int building_cost = 30;
+
+/// Capacity of a single warehouse
+static const int capacity[n_suppliers] = {
+  1, 4, 2, 1, 3
+};
+
+/// Cost for store to warehouse
+static const int cost_matrix[n_stores][n_suppliers] = {
+  {20, 24, 11, 25, 30},
+  {28, 27, 82, 83, 74},
+  {74, 97, 71, 96, 70},
+  { 2, 55, 73, 69, 61},
+  {46, 96, 59, 83,  4},
+  {42, 22, 29, 67, 59},
+  { 1,  5, 73, 59, 56},
+  {10, 73, 13, 43, 96},
+  {93, 35, 63, 85, 46},
+  {47, 65, 55, 71, 95}
+};
+
+
+
+/**
+ * \brief %Example: Locating warehouses
+ *
+ * A company needs to construct warehouses to supply stores with
+ * goods. Each warehouse possibly to be constructed has a certain
+ * capacity defining how many stores it can supply. Constructing a
+ * warehouse incurs a fixed cost. Costs for transportation from
+ * warehouses to stores depend on the locations of warehouses and
+ * stores.
+ *
+ * Determine which warehouses should be constructed and which
+ * warehouse should supply which store such that overall cost
+ * (transportation cost plus construction cost) is smallest.
+ *
+ * \ingroup Example
+ *
+ */
+class Warehouses : public Example {
+protected:
+  /// Map store to the supplier
+  IntVarArray supplier;
+  /// Is a supplier open (warehouse needed)
+  BoolVarArray open;
+  /// Cost of a store
+  IntVarArray cost;
+  /// Total cost
+  IntVar total;
+public:
+  /// Actual model
+  Warehouses(const Options& opt)
+    : supplier(this, n_stores, 0, n_suppliers-1),
+      open(this, n_suppliers, 0, 1),
+      cost(this, n_stores, 0, Limits::Int::int_max),
+      total(this, 0, Limits::Int::int_max) {
+    // Compute total cost
+    {
+      IntArgs c(n_stores + n_suppliers);
+      IntVarArgs x(n_stores + n_suppliers);
+      for (int i=0; i<n_stores; i++) {
+	c[i]=1; x[i]=cost[i];
+      }
+      for (int i=0; i<n_suppliers; i++) {
+	c[n_stores+i]=building_cost;
+	x[n_stores+i]=open[i];
+      }
+      linear(this, c, x, IRT_EQ, total);
+    }
+
+    // Compute cost for store
+    for (int i=0; i<n_stores; i++) {
+      IntArgs c(n_suppliers);
+      for (int j=0; j<n_suppliers; j++)
+	c[j] = cost_matrix[i][j];
+      element(this, c, supplier[i], cost[i]);
+    }
+
+    // Do not exceed capacity
+    for (int i=0; i<n_suppliers; i++)
+      count(this, supplier, i, IRT_LQ, capacity[i]);
+
+    // A warehouse is open, if it supplies to a shop
+    for (int i=0; i<n_suppliers; i++) {
+      BoolVarArgs store_by_supplier(n_stores);
+      for (int j=0; j<n_stores; j++)
+	store_by_supplier[j] = post(this, ~(supplier[j] == i));
+      BoolVar b(this, 0, 1);
+      rel(this, open[i], IRT_EQ, 1, b);
+      linear(this, store_by_supplier, IRT_GR, 0, b);
+    }
+
+    branch(this, cost, BVAR_REGRET_MIN_MAX, BVAL_MIN);
+  }
+
+  /// Add constraint for next better solution
+  void
+  constrain(Space* s) {
+    rel(this, total, IRT_LE, static_cast<Warehouses*>(s)->total.val());
+  }
+  /// Constructor for cloning \a s
+  Warehouses(bool share, Warehouses& s) : Example(share,s) {
+    supplier.update(this, share, s.supplier);
+    open.update(this, share, s.open);
+    cost.update(this, share, s.cost);
+    total.update(this, share, s.total);
+  }
+
+  /// Copy during cloning
+  virtual Space*
+  copy(bool share) {
+    return new Warehouses(share,*this);
+  }
+  /// Print solution
+  virtual void
+  print(void) {
+    std::cout << "\tSupplier: {";
+    for (int i=0; i<n_stores; i++) {
+      std::cout << supplier[i] << ((i<n_stores-1)?", ":"};\n");
+    }
+    std::cout << "\tCost: {";
+    for (int i=0; i<n_stores; i++) {
+      std::cout << cost[i] << ((i<n_stores-1)?", ":"};\n");
+    }
+    std::cout << "\tTotal cost: " << total << std::endl;
+    std::cout << std::endl;
+  }
+};
+
+/** \brief Main-function
+ *  \relates Warehouses
+ */
+int
+main(int argc, char** argv) {
+  Options opt("Warehouses");
+  opt.solutions  = 0;
+  opt.iterations = 10;
+  opt.naive      = true;
+  opt.parse(argc,argv);
+  Example::run<Warehouses,BAB>(opt);
+  return 0;
+}
+
+// STATISTICS: example-any
+

data/ext/gecode-1.3.1/extconf.rb

@@ -0,0 +1,8 @@
+require 'pathname'
+
+# Set up some important locations.
+CONFIG_FILE = Pathname.new("#{File.dirname(__FILE__)}/configure").realpath
+
+# Delegate to Gecode's configure file.
+File.chmod 0755, CONFIG_FILE
+`#{CONFIG_FILE} --disable-examples`

data/ext/gecode-1.3.1/gecode.m4

@@ -0,0 +1,736 @@
+dnl
+dnl Main authors:
+dnl   Guido Tack <tack@gecode.org>
+dnl
+dnl Copyright:
+dnl   Guido Tack, 2004, 2005
+dnl
+dnl Last modified:
+dnl   $Date: 2005-10-27 21:01:30 +0200 (Thu, 27 Oct 2005) $
+dnl   by $Author: schulte $
+dnl   $Revision: 2420 $
+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
+
+dnl check whether we have pkgconfig and should generate config files for it
+AC_DEFUN([AC_GECODE_PKGCONFIG],
+	[AC_CHECK_TOOL(PKGCONFIG, pkg-config)
+	 AC_MSG_CHECKING(whether to generate pkg-config files)
+	 if test "${PKGCONFIG}x" = "x"; then
+	    AC_MSG_RESULT(no)
+	    AC_SUBST(HAVE_PKGCONFIG, "no")
+	 else
+	    AC_MSG_RESULT(yes)
+	    AC_SUBST(HAVE_PKGCONFIG, "yes")
+	 fi])
+
+AC_DEFUN([AC_GECODE_GET_OS],
+	[AC_ARG_WITH([host-os],
+           AC_HELP_STRING([--with-host-os],
+	   [Override operating system test. Valid values are Linux, Darwin, and Windows.]))
+	 AC_MSG_CHECKING([for the host operating system])
+         if test "${with_host_os:-no}" = "no"; then
+	   guess_host_os=$(uname -s 2>/dev/null)
+	 else
+	   guess_host_os=${with_host_os}
+   	 fi
+	 dnl Try to find out operating system
+	 case ${guess_host_os} in
+	   GNU/kFreeBSD|*inux*)
+	   host_os=linux
+	   AC_MSG_RESULT([Linux])
+	   ;;
+	   *arwin*)
+	   host_os=darwin
+	   AC_MSG_RESULT([Darwin])
+	   ;;
+	   CYGWIN*|*indows*)
+	   host_os=windows
+	   AC_MSG_RESULT([Windows])
+	   ;;
+	   *)
+	   AC_MSG_ERROR([Host OS not supported.])
+	   ;;
+	 esac])
+
+dnl Macros:
+dnl   AC_GECODE_ADD_TO_CXXFLAGS ([FLAG...])
+dnl   AC_GECODE_ADD_TO_LDFLAGS ([FLAG...])
+dnl
+dnl Description:
+dnl   Add the flags to the corresponding variables
+dnl
+dnl Author:
+dnl   Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
+dnl
+AC_DEFUN([AC_GECODE_ADD_TO_CXXFLAGS],
+   [CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }$1"])
+AC_DEFUN([AC_GECODE_ADD_TO_LDFLAGS],
+   [LDFLAGS="${LDFLAGS}${LDFLAGS:+ }$1"])
+AC_DEFUN([AC_GECODE_ADD_TO_PKG_CXXFLAGS],
+  [ac_gecode_pkg_cxxflags="${ac_gecode_pkg_cxxflags}${ac_gecode_pkg_cxxflags:+ }$1"])
+AC_DEFUN([AC_GECODE_ADD_TO_DLLFLAGS],
+  [DLLFLAGS="${DLLFLAGS}${DLLFLAGS:+ }$1"])
+
+
+dnl Macro:
+dnl   AC_GECODE_CHECK_CXXFLAG (FLAG, [ACTION-IF-TRUE,
+dnl                                [ACTION-IF-FALSE]])
+dnl
+dnl Description:
+dnl   Check whether FLAG is supported by the C++ compiler.  Run
+dnl   the shell commands ACTION-IF-TRUE if it is, ACTION-IF-FALSE
+dnl   otherwise.  If ACTION-IF-TRUE is not given, append FLAG to
+dnl   the contents of $CXXFLAGS.
+dnl
+dnl Authors:
+dnl   Leif Kornstaedt <kornstae@ps.uni-sb.de>
+dnl   Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
+dnl
+AC_DEFUN([AC_GECODE_CHECK_CXXFLAG],
+  [AC_MSG_CHECKING(whether ${CXX} accepts [$1])
+   ac_gecode_save_CXXFLAGS="${CXXFLAGS}"
+   CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }$1 -Werror"
+   AC_LANG_PUSH(C++)
+   AC_COMPILE_IFELSE(AC_LANG_PROGRAM(),
+     [AC_MSG_RESULT(yes)
+      CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
+      ifelse([$2], , [CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }$1"], [$2])],
+     [AC_MSG_RESULT(no)
+      CXXFLAGS="${ac_gecode_save_CXXFLAGS}"
+      ifelse([$3], , :, [$3])])
+   AC_LANG_POP])dnl
+
+dnl Macro:
+dnl   AC_GECODE_CHECK_LDFLAG (FLAG, [ACTION-IF-TRUE,
+dnl                                 [ACTION-IF-FALSE]])
+dnl
+dnl Description:
+dnl   Check whether FLAG is supported by the linker.  Run the
+dnl   shell commands ACTION-IF-TRUE if it is, ACTION-IF-FALSE
+dnl   otherwise.  If ACTION-IF-TRUE is not given, append FLAG to
+dnl   the contents of $LDFLAGS.
+dnl
+dnl Authors:
+dnl   Leif Kornstaedt <kornstae@ps.uni-sb.de>
+dnl   Marco Kuhlmann <kuhlmann@ps.uni-sb.de>
+dnl
+AC_DEFUN([AC_GECODE_CHECK_LDFLAG],
+  [AC_REQUIRE([AC_PROG_CXX])
+   AC_MSG_CHECKING(whether the linker accepts [$1])
+   ac_gecode_save_LDFLAGS="${LDFLAGS}"
+   LDFLAGS="${LDFLAGS}${LDFLAGS:+ }$1"
+   AC_LINK_IFELSE(AC_LANG_PROGRAM(),
+     [AC_MSG_RESULT(yes)
+      LDFLAGS="$ac_gecode_save_LDFLAGS"
+      ifelse([$2], , [LDFLAGS="${LDFLAGS}${LDFLAGS:+ }$1"], [$2])],
+     [AC_MSG_RESULT(no)
+      LDFLAGS="$ac_gecode_save_LDFLAGS"
+      ifelse([$3], , :, [$3])])])dnl
+
+dnl @synopsis _AC_C_IFDEF(MACRO-NAME, ACTION-IF-DEF, ACTION-IF-NOT-DEF)
+dnl
+dnl Check for the definition of macro MACRO-NAME using the current
+dnl language's compiler.
+dnl
+dnl @category Misc
+dnl @author Ludovic Court�s <ludo@chbouib.org>
+dnl @version 2004-09-07
+dnl @license AllPermissive
+AC_DEFUN([_AC_C_IFDEF],
+  [AC_COMPILE_IFELSE([#ifndef $1
+                      # error "Macro $1 is undefined!"
+		      /* For some compilers (eg. SGI's CC), #error is not
+		         enough...  */
+		      please, do fail
+		      #endif],
+		     [$2], [$3])])
+
+dnl @synopsis AC_CXX_COMPILER_VENDOR(VENDOR-NAME)
+dnl
+dnl Set VENDOR-NAME to the lower-case name of the compiler vendor or `unknown'
+dnl if the compiler's vendor is unknown.
+dnl
+dnl @version 20040907
+dnl @author  Ludovic Court�s <ludo@chbouib.org>
+dnl Modified by G. Tack to recognize only those compilers we need.
+AC_DEFUN([AC_CXX_COMPILER_VENDOR],
+  [AC_ARG_WITH([compiler-vendor],
+     AC_HELP_STRING([--with-compiler-vendor],
+       [Override compiler test. Valid values are gnu, intel, and microsoft.]))
+   AC_REQUIRE([AC_PROG_CXX])
+   AC_REQUIRE([AC_PROG_CXXCPP])
+   AC_CACHE_CHECK([the C++ compiler vendor],
+    [ac_cv_cxx_compiler_vendor],
+
+    [if test "${with_compiler_vendor:-no}" = "no"; then
+
+     AC_LANG_PUSH([C++])
+
+     dnl GNU C++
+     _AC_C_IFDEF([__GNUG__],
+       [ac_cv_cxx_compiler_vendor=gnu],
+       [_AC_C_IFDEF([__INTEL_COMPILER],
+                    [ac_cv_cxx_compiler_vendor=intel],
+       [dnl Note:  We are using the C compiler because VC++ doesn't
+        dnl recognize `.cc'(which is used by `configure') as a C++ file
+        dnl extension and requires `/TP' to be passed.
+        AC_LANG_PUSH([C])
+        _AC_C_IFDEF([_MSC_VER],
+                    [ac_cv_cxx_compiler_vendor=microsoft],
+                    [ac_cv_cxx_compiler_vendor=unknown])
+        AC_LANG_POP()])])
+
+     AC_LANG_POP()
+     else
+       ac_cv_cxx_compiler_vendor=${with_compiler_vendor}
+     fi
+     $1="$ac_cv_cxx_compiler_vendor"])])dnl
+
+
+dnl Macro:
+dnl   AC_GECODE_VTI (vartype, help-string, default,
+dnl		     [ACTION-IF-ENABLED])
+dnl
+dnl Description:
+dnl   Introduce --enable-vartype-vars configure switch. The help-string
+dnl   is used for the configure --help output. VAR is the name of the
+dnl   variable type, it is used to create the VTI_VAR constant in vti.icc.
+dnl   default is either yes or no and says whether this option should be
+dnl   enabled by default. ACTION-IF-ENABLED can be used to perform additional
+dnl   actions in case this variable type is enabled.
+dnl
+dnl Authors:
+dnl   Guido Tack <tack@gecode.org>
+AC_DEFUN([AC_GECODE_ADD_VTI],
+	[ac_gecode_vtis="VTI_$1 ${ac_gecode_vtis}";])
+
+AC_DEFUN([AC_GECODE_VTI],
+   [
+   AC_ARG_ENABLE([$1-vars],
+     AC_HELP_STRING([--enable-$1-vars],[build $2 @<:@default=$3@:>@]))
+   AC_MSG_CHECKING(whether to build the $1 variables library)
+   if test "${enable_$1_vars:-$3}" = "yes"; then
+     AC_MSG_RESULT(yes)
+     enable_$1_vars="yes";
+     AC_GECODE_ADD_VTI(translit($1,`a-z', `A-Z'))
+     $4
+   else
+     enable_$1_vars="no";
+     AC_MSG_RESULT(no)
+   fi
+   AC_SUBST(enable_$1_vars, ${enable_$1_vars})
+   ])
+
+dnl Description:
+dnl   Make config.status create the vti.icc file.
+dnl
+dnl Authors:
+dnl   Guido Tack <tack@gecode.org>
+
+AC_CONFIG_COMMANDS(vti.icc,
+	  [rm -f gecode/vti.icc.new
+	   echo "// This file was generated by config.status." > \
+	     gecode/vti.icc.new
+	   echo "// Do not edit. Modifications will get lost!" >> \
+	     gecode/vti.icc.new
+	   for v in ${ac_gecode_vtis}
+	   do
+	     echo "$v, ///< Generated by configure" >> gecode/vti.icc.new
+	   done
+	   if test ! -f gecode/vti.icc; then
+	     touch gecode/vti.icc;
+	   fi
+	   if (diff gecode/vti.icc gecode/vti.icc.new >/dev/null); then
+	     rm -f gecode/vti.icc.new;
+	   else
+	     rm -f gecode/vti.icc;
+	     mv gecode/vti.icc.new gecode/vti.icc;
+	   fi],
+	  [ac_gecode_vtis="${ac_gecode_vtis}"])
+
+dnl Macro:
+dnl   AC_GECODE_ENABLE_MODULE (module, default, help-string,
+dnl                            [ACTION-IF-ENABLED])
+dnl
+dnl Description:
+dnl   Produces a configure switch --enable-<module>.
+dnl
+dnl Authors:
+dnl   Guido Tack <tack@gecode.org>
+AC_DEFUN([AC_GECODE_ENABLE_MODULE],
+	 [
+     AC_ARG_ENABLE([$1],
+	   AC_HELP_STRING([--enable-$1],
+	     [$3 @<:@default=$2@:>@]))
+	 AC_MSG_CHECKING(whether to build $1)
+	 if test "${enable_$1:-$2}" = "yes"; then
+	    enable_$1="yes";
+	    AC_MSG_RESULT(yes)
+	    $4
+	 else
+	    enable_$1="no";
+	    AC_MSG_RESULT(no)
+	 fi
+   	 AC_SUBST(enable_$1, ${enable_$1})])	
+
+dnl Description:
+dnl   Makes an enable check for a contrib
+dnl   The third argument can be used for dependency checking 
+dnl
+dnl Authors:
+dnl   Gr�goire Dooms <dooms@info.ucl.ac.be>
+AC_DEFUN([AC_GECODE_ENABLE_CONTRIB],
+[
+   AC_ARG_ENABLE([$1],
+     AC_HELP_STRING([--enable-$1],[build $2 @<:@default=yes@:>@]))
+   AC_MSG_CHECKING(whether to build the $1 contrib library)
+   if test "${enable_$1:-yes}" = "yes"; then
+     AC_MSG_RESULT(yes)
+     enable_$1="yes";
+     $3
+   else
+     enable_$1="no";
+     AC_MSG_RESULT(no)
+   fi
+   AC_SUBST(enable_$1, ${enable_$1})])
+
+
+AC_DEFUN([AC_GECODE_STATICLIBS],
+	 [AC_ARG_ENABLE([static],
+	   AC_HELP_STRING([--enable-static],
+	     [build static libraries @<:@default=no@:>@]))
+	  AC_MSG_CHECKING(whether to build static libraries)
+ 	  if test "${enable_static:-no}" = "yes"; then
+ 	     AC_DEFINE(GECODE_STATIC_LIBS)
+ 	     AC_SUBST(BUILDSTATIC, "yes")
+ 	     AC_MSG_RESULT(yes)
+ 	  else
+ 	     AC_SUBST(BUILDSTATIC, "no")
+ 	     AC_MSG_RESULT(no)
+ 	  fi
+	  AC_ARG_ENABLE([shared],
+	   AC_HELP_STRING([--enable-shared],
+	     [build shared libraries @<:@default=yes@:>@]))
+	  AC_MSG_CHECKING(whether to build shared libraries)
+ 	  if test "${enable_shared:-yes}" = "yes"; then
+ 	     AC_SUBST(BUILDDLL, "yes")
+ 	     AC_MSG_RESULT(yes)
+ 	  else
+ 	     AC_SUBST(BUILDDLL, "no")
+ 	     if test "${enable_static:-no}" = "no"; then
+ 	       AC_MSG_ERROR([One of --enable-static or --enable-shared must be given])
+ 	     fi
+ 	     AC_MSG_RESULT(no)
+ 	  fi
+	  ])
+
+
+AC_DEFUN([AC_GECODE_DEBUG],
+	[AC_ARG_ENABLE([debug],
+	   AC_HELP_STRING([--enable-debug],
+	     [build with assertions @<:@default=no@:>@]))
+	 AC_MSG_CHECKING(whether to build with debug symbols and assertions)
+	 if test "${enable_debug:-no}" = "yes"; then
+	    AC_MSG_RESULT(yes)
+	 else
+	    AC_MSG_RESULT(no)
+       	    AC_GECODE_ADD_TO_CXXFLAGS(-DNDEBUG)
+	 fi])
+
+AC_DEFUN([AC_GECODE_LEAK_DEBUG],
+	[AC_ARG_ENABLE([leak-debug],
+	   AC_HELP_STRING([--enable-leak-debug],
+	     [build with support for finding memory leaks @<:@default=no@:>@]))
+	 AC_MSG_CHECKING(whether to build with support for finding memory leaks)
+	 if test "${enable_leak_debug:-no}" = "yes"; then
+	    AC_MSG_RESULT(yes)
+	    AC_CHECK_DECL(mtrace,
+			  [AC_DEFINE(GECODE_HAVE_MTRACE)],
+			  [AC_MSG_ERROR(mtrace not available.)],
+			  [[#include <mcheck.h>]])	    
+	 else
+	    AC_MSG_RESULT(no)
+	 fi])
+
+AC_DEFUN([AC_GECODE_AUDIT],
+	[AC_ARG_ENABLE([audit],
+	   AC_HELP_STRING([--enable-audit],
+	     [build with auditing code @<:@default=no@:>@]))
+	 AC_MSG_CHECKING(whether to build with auditing code)
+	 if test "${enable_audit:-no}" = "yes"; then
+	    AC_DEFINE(GECODE_AUDIT, 1)
+	    AC_MSG_RESULT(yes)
+	 else
+	    AC_DEFINE(GECODE_AUDIT, 0)
+	    AC_MSG_RESULT(no)
+	 fi])
+
+
+AC_DEFUN([AC_GECODE_PROFILE],
+	 [AC_ARG_ENABLE([profile],
+	   AC_HELP_STRING([--enable-profile],
+	     [build with profiling information @<:@default=no@:>@]))
+	 AC_MSG_CHECKING(whether to build with profiling information)
+	 if test "${enable_profile:-no}" = "yes"; then
+	    AC_MSG_RESULT(yes)
+	    AC_GECODE_CHECK_CXXFLAG(-pg,
+	       AC_GECODE_ADD_TO_CXXFLAGS(-pg),
+	       AC_GECODE_CHECK_CXXFLAG(-p))
+	 else
+	    AC_MSG_RESULT(no)
+	 fi])
+
+# Test for platform specific behaviour of arithmetic
+
+AC_DEFUN([AC_GECODE_CHECK_ARITH],
+	[AC_LANG_PUSH([C])
+	 AC_CHECK_SIZEOF(int)
+	 AC_MSG_CHECKING([if int has at least 32 bit])
+	 AC_TRY_COMPILE([],
+	   [
+	   #if SIZEOF_INT>=4
+	   #else
+	   blablub
+	   #endif
+	   ],
+	   [AC_MSG_RESULT(yes)],
+	   [AC_MSG_ERROR([Gecode needs at least 32 bit integers.])])
+
+	 AC_MSG_CHECKING([if doubles have a big enough mantissa])
+	 AC_TRY_COMPILE([#include <float.h>],
+	   [
+	   #if DBL_MANT_DIG>=53
+	   #else
+	   blablub
+	   #endif
+	   ],
+	   [AC_MSG_RESULT(yes)],
+	   [AC_MSG_ERROR([Gecode needs a double mantissa of at least 53 bits.])])
+
+	 AC_LANG_POP([C])])
+
+AC_DEFUN([AC_GECODE_GCC_GENERAL_SWITCHES],
+ [AC_DEFINE(forceinline, [inline])
+  AC_GECODE_CHECK_CXXFLAG([-fPIC])
+  AC_GECODE_CHECK_CXXFLAG([-Wall])
+  AC_GECODE_CHECK_CXXFLAG(-ggdb,
+     AC_GECODE_ADD_TO_CXXFLAGS(-ggdb),
+     AC_GECODE_CHECK_CXXFLAG(-g))
+
+  AC_SUBST(docdir, "${datadir}/doc/gecode")
+
+  dnl file extensions
+  AC_SUBST(SBJEXT, "s")
+  AC_SUBST(LIBEXT, "${DLLEXT}")
+  AC_SUBST(LIBPREFIX, "libgecode")
+  AC_SUBST(STATICLIBEXT, "a")
+  AC_SUBST(MINUSLDIR, "-L${libdir}")
+  AC_SUBST(LINKLIBDIR, "")
+
+  cygpathprefix=$prefix
+  test "x$cygpathprefix" = xNONE && cygpathprefix=$ac_default_prefix
+  AC_SUBST(cygpathprefix, "${cygpathprefix}")
+
+  AC_SUBST(COMPILEOBJ, "-c -o ")
+  AC_SUBST(COMPILESBJ, "-S -o ")
+  AC_SUBST(COMPILERIN, " ")
+  AC_SUBST(EXAMPLES_EXTRA_CXXFLAGS, "")
+
+  dnl Do not install stub .lib files (required for msvc)
+  AC_SUBST(INSTALLLIBS, "no")
+
+  AC_SUBST(LINKPREFIX, "-lgecode")
+  AC_SUBST(LINKSUFFIX, "")
+
+  dnl how to tell the compiler to output an object file
+  AC_SUBST(LINKOUTPUT, "-o ")
+  dnl how to tell the compiler to output an executable
+  AC_SUBST(EXEOUTPUT, "-o ")
+
+  dnl the names of the generated dlls
+  AC_SUBST(KERNEL,  "kernel")
+  AC_SUBST(SEARCH,  "search")
+  AC_SUBST(INT,     "int")
+  AC_SUBST(SET,     "set")
+  AC_SUBST(MM,      "minimodel")])
+
+
+AC_DEFUN([AC_GECODE_GCC_OPTIMIZED_SWITCHES],
+ [AC_GECODE_CHECK_CXXFLAG([-O3])
+  AC_GECODE_CHECK_CXXFLAG([-fno-strict-aliasing])])
+
+AC_DEFUN([AC_GECODE_GCC_VISIBILITY],
+  	[AC_ARG_ENABLE([gcc-visibility],
+	   AC_HELP_STRING([--enable-gcc-visibility],
+	     [use gcc visibility attributes @<:@default=no@:>@]))
+	 AC_MSG_CHECKING(whether to use gcc visibility attributes)
+	 if test "${enable_gcc_visibility:-no}" = "yes"; then
+	    AC_MSG_RESULT(yes)
+	    AC_GECODE_CHECK_CXXFLAG([-fvisibility=hidden],
+	      [AC_DEFINE(GCC_HASCLASSVISIBILITY)
+	        AC_GECODE_ADD_TO_CXXFLAGS([-fvisibility=hidden])
+	        AC_GECODE_CHECK_CXXFLAG([-fno-rtti])],
+	       [])
+	 else
+	    AC_MSG_RESULT(no)
+	 fi])
+
+AC_DEFUN([AC_GECODE_GCC_DEBUG_SWITCHES],
+  [AC_GECODE_CHECK_CXXFLAG([-fno-inline-functions])
+   AC_GECODE_CHECK_CXXFLAG([-fimplement-inlines])])
+
+AC_DEFUN([AC_GECODE_NO_BUILDFLAGS],
+  [AC_SUBST(GECODE_BUILD_KERNEL_FLAG, "")
+   AC_SUBST(GECODE_BUILD_SEARCH_FLAG, "")
+   AC_SUBST(GECODE_BUILD_INT_FLAG, "")
+   AC_SUBST(GECODE_BUILD_SET_FLAG, "")
+   AC_SUBST(GECODE_BUILD_MINIMODEL_FLAG, "")])
+
+AC_DEFUN([AC_GECODE_BUILDFLAGS],
+  [AC_SUBST(GECODE_BUILD_KERNEL_FLAG, "-DGECODE_BUILD_KERNEL")
+   AC_SUBST(GECODE_BUILD_SEARCH_FLAG, "-DGECODE_BUILD_SEARCH")
+   AC_SUBST(GECODE_BUILD_INT_FLAG, "-DGECODE_BUILD_INT")
+   AC_SUBST(GECODE_BUILD_SET_FLAG, "-DGECODE_BUILD_SET")
+   AC_SUBST(GECODE_BUILD_MINIMODEL_FLAG, "-DGECODE_BUILD_MINIMODEL")])
+
+
+AC_DEFUN([AC_GECODE_UNIX_PATHS],
+ [AC_SUBST(DLLPATH, [-L.])
+  dnl flags for creating dlls
+  case $host_os in
+     darwin*)
+       AC_SUBST(need_soname, "yes")
+       AC_GECODE_ADD_TO_DLLFLAGS("-dynamiclib")
+       AC_SUBST(DLLEXT, "${ac_gecode_soversion}.0.dylib")
+       AC_SUBST(SOSUFFIX, ".${ac_gecode_soversion}.dylib")
+       AC_SUBST(SOLINKSUFFIX, ".dylib")
+       AC_SUBST(sharedlibdir, "${libdir}")
+       AC_SUBST(WLSONAME, "-compatibility_version ${ac_gecode_soversion}.0 -current_version ${ac_gecode_soversion}.0 -install_name ${libdir}/")
+       AC_GECODE_NO_BUILDFLAGS
+       ;;
+     windows*)
+       AC_SUBST(need_soname, "no")
+       if test "${enable_static:-no}"  = "yes" -a \
+	       "${enable_shared:-yes}" = "yes"; then
+         AC_MSG_ERROR([Only either static or shared libraries can be built.])
+       fi
+       AC_GECODE_ADD_TO_DLLFLAGS("-shared")
+       AC_SUBST(DLLEXT, "dll")
+       AC_SUBST(SOSUFFIX, "")
+       AC_SUBST(SOLINKSUFFIX, "")
+       AC_SUBST(WLSONAME, "")
+       if test "${enable_static:-no}" = "no"; then
+	  AC_SUBST(sharedlibdir, "${bindir}")
+       else
+          AC_SUBST(sharedlibdir, "${libdir}")
+       fi
+       AC_GECODE_BUILDFLAGS
+       ;;
+     *)
+       AC_SUBST(need_soname, "yes")
+       AC_GECODE_ADD_TO_DLLFLAGS("-shared")
+       AC_SUBST(DLLEXT, "so.${ac_gecode_soversion}.0")
+       AC_SUBST(SOSUFFIX, ".so.${ac_gecode_soversion}")
+       AC_SUBST(SOLINKSUFFIX, ".so")
+       AC_SUBST(WLSONAME, ["-Wl,-soname="])
+       AC_SUBST(sharedlibdir, "${libdir}")
+       AC_GECODE_NO_BUILDFLAGS
+       ;;
+  esac])
+
+AC_DEFUN([AC_GECODE_MSVC_SWITCHES],
+ [dnl general compiler flags
+  AC_DEFINE(forceinline,[__forceinline])
+  AC_GECODE_ADD_TO_CXXFLAGS([-nologo])
+  AC_GECODE_ADD_TO_CXXFLAGS([-EHsc])
+  AC_DEFINE(GECODE_MEMORY_ALIGNMENT, 4)
+
+  if test "${enable_debug:-no}" = "no"; then
+    dnl compiler flags for an optimized build
+    AC_GECODE_ADD_TO_CXXFLAGS([-Ox -fp:fast])
+
+    dnl flags for creating optimized dlls
+    AC_GECODE_ADD_TO_DLLFLAGS([${CXXFLAGS} -LD -MD])
+  else
+    dnl compiler flags for a debug build
+    AC_GECODE_ADD_TO_CXXFLAGS([-Zi])  
+
+    dnl flags for creating debug dlls
+    AC_GECODE_ADD_TO_DLLFLAGS([${CXXFLAGS} -LDd MDd])
+  fi
+
+  AC_SUBST(sharedlibdir, "${bindir}")
+  AC_SUBST(docdir, "${prefix}")
+  if test "${enable_static:-no}" = "yes"; then
+    AC_MSG_ERROR([Static linking not supported for Windows/cl.])
+  fi
+
+  dnl linker flags
+  AC_GECODE_ADD_TO_LDFLAGS([-link])
+  AC_SUBST(DLLPATH, "")
+
+  dnl file extensions
+  AC_SUBST(SBJEXT, "sbj")
+  AC_SUBST(DLLEXT, "dll")
+  AC_SUBST(SOSUFFIX, "")
+  AC_SUBST(SOLINKSUFFIX, "")
+  AC_SUBST(WLSONAME, "")
+  AC_SUBST(LIBEXT, "lib")
+  AC_SUBST(LIBPREFIX, "Gecode")
+  AC_SUBST(LINKPREFIX, "Gecode")
+  AC_SUBST(LINKSUFFIX, ".lib")
+  AC_SUBST(MINUSLDIR, "")
+  AC_SUBST(LINKLIBDIR, "${libdir}/")
+
+  cygpathprefix=$prefix
+  test "x$cygpathprefix" = xNONE && cygpathprefix=$ac_default_prefix
+  cygpathprefix=`cygpath -m ${cygpathprefix}`
+
+  AC_SUBST(cygpathprefix, "${cygpathprefix}")
+  AC_GECODE_BUILDFLAGS
+
+  dnl compiler options
+  AC_SUBST(COMPILEOBJ, "-c -Fo")
+  AC_SUBST(COMPILESBJ, "-c -Fa")
+  AC_SUBST(COMPILERIN, "-Tp")
+  AC_SUBST(EXAMPLES_EXTRA_CXXFLAGS, "-wd4355")
+
+  dnl Install stub .lib files (required for msvc)
+  AC_SUBST(INSTALLLIBS, "yes")
+
+  dnl how to tell the compiler to output an object file
+  AC_SUBST(LINKOUTPUT, "-Fe")
+  dnl how to tell the compiler to output an executable
+  AC_SUBST(EXEOUTPUT, "-Fe")
+
+  dnl the names of the generated dlls
+  AC_SUBST(KERNEL,  "Kernel")
+  AC_SUBST(SEARCH,  "Search")
+  AC_SUBST(INT,     "Int")
+  AC_SUBST(SET,     "Set")
+  AC_SUBST(MM,      "Minimodel")])
+
+dnl Macro:
+dnl   AC_GECODE_DOC_SWITCHES
+dnl
+dnl Description:
+dnl   Produces the configure switches --enable-doc-search,
+dnl   --enable-doc-chm, and --enable-doc-tagfile.
+dnl
+dnl Authors:
+dnl   Guido Tack <tack@gecode.org>
+AC_DEFUN([AC_GECODE_DOC_SWITCHES],
+  [dnl check if we can use dot for generating graphs in the documentation
+   AC_ARG_ENABLE([doc-dot],
+     AC_HELP_STRING([--enable-doc-dot],
+	[enable graphs in documentation @<:@default=yes@:>@]))
+   AC_CHECK_PROG(DOT, dot, dot)
+   AC_MSG_CHECKING(whether to enable graphs in the documentation)
+   if test "${enable_doc_dot:-yes}" = "yes"; then
+     if test x$DOT = x; then
+        if test x"${enable_doc_dot}" = x; then
+	  AC_MSG_RESULT(no)
+     	  AC_SUBST(GECODE_DOXYGEN_DOT, NO)
+	else
+          AC_MSG_ERROR(you need the dot tool from graphviz to generate graphs in the documentation)
+	fi
+     else
+        AC_MSG_RESULT(yes)
+	AC_SUBST(GECODE_DOXYGEN_DOT, YES)
+     fi
+   else
+     AC_MSG_RESULT(no)
+     AC_SUBST(GECODE_DOXYGEN_DOT, NO)
+   fi
+
+   AC_ARG_ENABLE([doc-search],
+     AC_HELP_STRING([--enable-doc-search],
+	[enable documentation search engine @<:@default=no@:>@]))
+   AC_MSG_CHECKING(whether to enable the documentation search engine)
+   if test "${enable_doc_search:-no}" = "yes"; then
+     AC_MSG_RESULT(yes)
+     AC_SUBST(ENABLEDOCSEARCH, "yes")
+   else
+     AC_MSG_RESULT(no)
+     AC_SUBST(ENABLEDOCSEARCH, "no")
+   fi
+   AC_ARG_ENABLE([doc-tagfile],
+     AC_HELP_STRING([--enable-doc-tagfile],
+	[generate doxygen tagfile @<:@default=no@:>@]))
+   AC_MSG_CHECKING(whether to generate a doxygen tagfile)
+   if test "${enable_doc_tagfile:-no}" = "yes"; then
+     AC_MSG_RESULT(yes)
+     AC_SUBST(GECODE_DOXYGEN_TAGFILE, "doc/gecode-doc.tag")
+   else
+     AC_MSG_RESULT(no)
+     AC_SUBST(GECODE_DOXYGEN_TAGFILE, [])
+   fi
+   AC_ARG_ENABLE([doc-chm],
+     AC_HELP_STRING([--enable-doc-chm],
+	[build compressed html documentation @<:@default=yes on Windows@:>@]))
+   AC_MSG_CHECKING(whether to build compressed html documentation)
+   case $host_os in
+	windows*)
+   		if test "${enable_doc_chm:-yes}" = "yes"; then
+		  AC_MSG_RESULT(yes)
+     		  AC_SUBST(ENABLEDOCCHM, "yes")
+                  AC_SUBST(ENABLEDOCSEARCH, "no")
+   		else
+     		  AC_MSG_RESULT(no)
+     		  AC_SUBST(ENABLEDOCCHM, "no")
+   		fi
+	;;
+	*)
+   		if test "${enable_doc_chm:-no}" = "yes"; then
+		  AC_MSG_ERROR([building chms is only supported on Windows.])
+   		else
+     		  AC_MSG_RESULT(no)
+     		  AC_SUBST(ENABLEDOCCHM, "no")
+   		fi
+	;;
+   esac])
+
+dnl Macro:
+dnl   AC_GECODE_UNIVERSAL
+dnl
+dnl Description:
+dnl   Produces the configure switches --enable-universal and --with-sdk
+dnl   for compiling universal binaries on Mac OS X.
+dnl
+dnl Authors:
+dnl   Guido Tack <tack@gecode.org>
+AC_DEFUN([AC_GECODE_UNIVERSAL],
+  [dnl build universal binaries on Mac OS X
+  AC_ARG_WITH([sdk],
+    AC_HELP_STRING([--with-sdk],
+	[SDK to use on Mac OS X]))
+  if test "${host_os}" = "darwin"; then
+    if test "${with_sdk:-no}" != "no"; then
+      AC_GECODE_CHECK_CXXFLAG([-isysroot ${with_sdk}])
+      AC_GECODE_ADD_TO_DLLFLAGS([-Wl,-syslibroot,${with_sdk}])
+    fi
+  fi
+  AC_ARG_ENABLE([universal],
+    AC_HELP_STRING([--enable-universal],
+	[build universal binaries on Mac OS X @<:@default=no@:>@]))
+  if test "${host_os}" = "darwin"; then
+    AC_MSG_CHECKING(whether to build universal binaries on Mac OS X)
+    if test "${enable_universal:-no}" = "yes"; then
+      AC_MSG_RESULT(yes)
+      AC_GECODE_CHECK_CXXFLAG([-arch i386 -arch ppc])
+      AC_GECODE_ADD_TO_DLLFLAGS([-arch i386 -arch ppc])
+    else
+      AC_MSG_RESULT(no)
+    fi
+  fi
+
+])