Contents

/* config.h.in.  Generated from configure.ac by autoheader.  */

/* Defube to 1 to gather statistical information about operator and unique
   node caching (for debugging). */
#undef CACHESTATS

/* BuDDy's major version. */
#define MAJOR_VERSION 2

/* BuDDy's minor version. */
#define MINOR_VERSION 4

/* Define to the version of this package. */
#define PACKAGE_VERSION "2.4"

/* Define to 1 to count number of fundamental variable swaps (for debugging).
   */
#undef SWAPCOUNT

// STATISTICS: buddy-any

Version data entries

10 entries across 10 versions & 1 rubygems

Version	Path
gecoder-with-gecode-1.1.1.1	ext/gecode-2.2.0/gecode/support/buddy/config.h
gecoder-with-gecode-1.1.1	ext/gecode-2.2.0/gecode/support/buddy/config.h
gecoder-with-gecode-1.1.0	ext/gecode-2.2.0/gecode/support/buddy/config.h
gecoder-with-gecode-0.8.0	ext/gecode-2.1.1/gecode/support/buddy/config.h
gecoder-with-gecode-0.8.1	ext/gecode-2.1.1/gecode/support/buddy/config.h
gecoder-with-gecode-0.8.2	ext/gecode-2.1.1/gecode/support/buddy/config.h
gecoder-with-gecode-0.8.3	ext/gecode-2.1.1/gecode/support/buddy/config.h
gecoder-with-gecode-0.9.0	ext/gecode-2.1.1/gecode/support/buddy/config.h
gecoder-with-gecode-0.9.1	ext/gecode-2.2.0/gecode/support/buddy/config.h
gecoder-with-gecode-1.0.0	ext/gecode-2.2.0/gecode/support/buddy/config.h