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 _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
