version.c

The example shows how to get version information.

Output

$ ./version
Hello, this is clingo version...

Code

#include <clingo.h>
#include <stdlib.h>
#include <stdio.h>
 
int main() {
  int major, minor, revision;
 
  clingo_version(&major, &minor, &revision);
 
  printf("Hello, this is clingo version %d.%d.%d.\n", major, minor, revision);
 
  return 0;
}