%{
#include "util/unsat_core.h"
%}

%include "util/unsat_core.h"