data/gecode_version.cc
author Julien Cristau <julien.cristau@logilab.fr>
Wed, 15 Jul 2015 11:07:54 +0200
changeset 767 cdd302bd8740
parent 457 734a8a5abf98
permissions -rw-r--r--
update MANIFEST for layout change

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

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