bit-vector variables for gecode and associated masters-related work