This is the first release of SwInE, an SMT solver with support for integer exponentiation.