In this release, the default search strategy has been change to DomOverWDeg. The integer division contraint has been temporary switch to 'eq(z,div(x,y))' constraint, waiting for a true integer division constraint.