data/gecode_version.cc
author Nicolas Chauvat <nicolas.chauvat@logilab.fr>
Tue, 28 Jan 2020 14:19:41 +0100
changeset 891 5f4fa5857e46
parent 457 734a8a5abf98
permissions -rw-r--r--
Fix tag name error

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

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