raSAT - an smt solver for polynomial constraints