Merge pull request #15 from carealejo/master

Gecode Arithmetic constraints