propagate.c

The example shows how to write a simple propagator for the pigeonhole problem.

The example shows how to write a simple propagator for the pigeonhole problem. For a detailed description of what is implemented here and some background, take a look at the following paper:

https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/iclp/GebserKKOSW16x

Output

The output is empty because the pigeonhole problem is unsatisfiable.

Code

#include <clingo/core.h>
 
int main(int argc, char *argv[]) {
    (void)argc;
    (void)argv;
 
    return 0;
}