data/gecode_version.cc
author Adrien Di Mascio <Adrien.DiMascio@logilab.fr>
Thu, 18 Feb 2016 15:42:55 +0100
changeset 797 f550c2f186df
parent 457 734a8a5abf98
permissions -rw-r--r--
Added tag centos/0.34.0-2 for changeset a9be3f7161c4

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

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