%{
#include "smt/smt_engine.h"
%}

%include "smt/smt_engine.h"