z3ex.c

// gcc z3ex.c -o z3ex -l z3
#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
#include "z3.h"

int main(void) {
    Z3_config cfg;
    Z3_context ctx;
    cfg = Z3_mk_config();
    ctx = Z3_mk_context(cfg);
    Z3_sort I = Z3_mk_bv_sort(ctx, 64);
    Z3_ast x = Z3_mk_int64(ctx, -5, I); // works if you change this to 5
    Z3_string s = Z3_ast_to_string(ctx, x);
    printf("%s\n", s);
    int64_t x_val = 0;
    if (Z3_get_numeral_int64(ctx, x, &x_val)) {
        printf("Success: x = %" PRId64 "\n", x_val);
    }
    else {
        printf("Failed.\n");
    }
    return 0;
}