Clingo
Loading...
Searching...
No Matches
theory.c
The example shows a partial theory implementation.
The example shows a partial theory implementation.
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;
}
Generated by
1.9.8