The example shows how to configure the solver.
The example shows how to configure the solver.
Output
./config
Model: a
Model: b
Code
#define __STDC_FORMAT_MACROS
#include <stdio.h>
int main(int argc, char *argv[]) {
(void)argc;
(void)argv;
printf("TODO\n");
return 0;
}