Implement power with constant exponent/base. Re-use solver tests when testing the gecode driver.