#ifndef WIN32

#include <assert.h>
#include <clingo.h>
#include <stdatomic.h>
#include <stdio.h>
#include <stdlib.h>

bool print_model(clingo_model_t *model) {
    bool ret = true;
    clingo_symbol_t *atoms = NULL;
    size_t atoms_n;
    clingo_symbol_t const *it, *ie;
    char *str = NULL;
    size_t str_n = 0;

    // determine the number of (shown) symbols in the model
    if (!clingo_model_symbols_size(model, clingo_show_type_shown, &atoms_n)) {
        goto error;
    }

    // allocate required memory to hold all the symbols
    if (!(atoms = (clingo_symbol_t *)malloc(sizeof(*atoms) * atoms_n))) {
        clingo_set_error(clingo_error_bad_alloc, "could not allocate memory for atoms");
        goto error;
    }

    // retrieve the symbols in the model
    if (!clingo_model_symbols(model, clingo_show_type_shown, atoms, atoms_n)) {
        goto error;
    }

    printf("Model:");

    for (it = atoms, ie = atoms + atoms_n; it != ie; ++it) {
        size_t n;
        char *str_new;

        // determine size of the string representation of the next symbol in the model
        if (!clingo_symbol_to_string_size(*it, &n)) {
            goto error;
        }

        if (str_n < n) {
            // allocate required memory to hold the symbol's string
            if (!(str_new = (char *)realloc(str, sizeof(*str) * n))) {
                clingo_set_error(clingo_error_bad_alloc, "could not allocate memory for symbol's string");
                goto error;
            }

            str = str_new;
            str_n = n;
        }

        // retrieve the symbol's string
        if (!clingo_symbol_to_string(*it, str, n)) {
            goto error;
        }

        printf(" %s", str);
    }

    printf("\n");
    goto out;

error:
    ret = false;

out:
    if (atoms) {
        free(atoms);
    }
    if (str) {
        free(str);
    }

    return ret;
}

bool on_event(clingo_solve_event_type_t type, void *event, void *data, bool *goon) {
    (void)type;
    (void)event;
    (void)goon; // this is true by default
    if (type == clingo_solve_event_type_finish) {
        atomic_flag *running = (atomic_flag *)data;
        atomic_flag_clear(running);
    }
    return true;
}

int main(int argc, char const **argv) {
    char const *error_message;
    int ret = 0;
    atomic_flag running = ATOMIC_FLAG_INIT;
    uint64_t samples = 0;
    uint64_t incircle = 0;
    uint64_t x, y;
    clingo_solve_result_bitset_t solve_ret;
    clingo_control_t *ctl = NULL;
    clingo_solve_handle_t *handle = NULL;
    clingo_part_t parts[] = {{"base", NULL, 0}};

    // create a control object and pass command line arguments
    if (!clingo_control_new(argv + 1, argc - 1, NULL, NULL, 20, &ctl) != 0) {
        goto error;
    }

    // add a logic program to the base part
    if (!clingo_control_add(ctl, "base", NULL, 0,
                            "#const n = 17."
                            "1 { p(X); q(X) } 1 :- X = 1..n."
                            ":- not n+1 { p(1..n); q(1..n) }.")) {
        goto error;
    }

    // ground the base part
    if (!clingo_control_ground(ctl, parts, 1, NULL, NULL)) {
        goto error;
    }

    atomic_flag_test_and_set(&running);
    // create a solve handle with an attached vent handler
    if (!clingo_control_solve(ctl, clingo_solve_mode_async | clingo_solve_mode_yield, NULL, 0, on_event, &running,
                              &handle)) {
        goto error;
    }

    // let's approximate pi
    do {
        ++samples;
        x = rand();
        y = rand();
        if (x * x + y * y <= (uint64_t)RAND_MAX * RAND_MAX) {
            incircle += 1;
        }
    } while (atomic_flag_test_and_set(&running));
    printf("pi = %g\n", 4.0 * incircle / samples);

    // get the solve result
    if (!clingo_solve_handle_get(handle, &solve_ret)) {
        goto error;
    }

    goto out;

error:
    if (!(error_message = clingo_error_message())) {
        error_message = "error";
    }

    printf("%s\n", error_message);
    ret = clingo_error_code();

out:
    // close the handle
    if (handle) {
        clingo_solve_handle_close(handle);
    }
    if (ctl) {
        clingo_control_free(ctl);
    }

    return ret;
}

#else

#include <stdio.h>

int main(int argc, char const **argv) {
    printf("example requires c11, which is not available on windows");
    return 0;
}

#endif
