Changed from Gecode to Google's or-tools solver
Merge branch 'master' of https://github.com/crafn/proto-eq