data/gecode_version.cc
author Julien Cristau <julien.cristau@logilab.fr>
Tue, 08 Sep 2015 08:47:02 +0200
changeset 776 346fc9258bbe
parent 457 734a8a5abf98
permissions -rw-r--r--
Added tag 0.33.2, debian/0.33.2-1, centos/0.33.2-1 for changeset c629ea9f78f6

#include "gecode/support.hh"
#include <stdio.h>

int main() {
#ifndef GECODE_VERSION
    printf("2.1.2\n");
#else
    printf("%s\n", GECODE_VERSION);
#endif
}