SMT Eclipse Plugin Project