stats.c

The example shows how to inspect stats.

The example shows how to inspect stats.

Output

./stats 0
Model: a
Model: b
problem:
  lp:
    atoms:
      2
    atoms_aux:
      0
    ...
solving:
  ...
summary:
  ...
accu:
  times:
    ...
  models:
    ...
  solving:
    ...

Code

// NOLINTNEXTLINE(bugprone-reserved-identifier)
#define __STDC_FORMAT_MACROS
#include <stdio.h>
 
int main(int argc, char *argv[]) {
    (void)argc;
    (void)argv;
    printf("TODO\n");
    return 0;
}