[gecode-users] bit-vector variables and constraints

[kellen at cretin.net]

Hi everbody!

As Pierre wrote, the code available at:
https://github.com/kellen/bitvector-masters
is a result of my master's thesis in Computer Science with Pierre and
Jean-Noël Monette at Uppsala University. 

If there is interest, I would be willing to do the work to make the code
conform with Gecode style/convention/optimizations. I am, however, a relative
novice C++ coder, as I have mostly been employed doing python and java. 

There are some obvious improvements to be made to the code, some of which are
detailed in my thesis, and probably other potential improvements which will be
obvious to more seasoned C++/Gecode users. 

Christian/Guido: please let me know if/how I should go about integrating the
variable implementation into Gecode core.

Cheers,
Kellen