Clean gecode driver.