Master's thesis + implementation.
Thesis: abstract, fulltext (PDF)
Acquire gecode source:
make gecode
Compile gecode with the bit-vector variable definition:
cd gecode
./configure --with-vis=../src/bitvec/bitvec.vis
make
When building and running, ensure LD_LIBRARY_PATH is set:
cd gecode/
export LD_LIBRARY_PATH=`pwd`
Build binaries from the base directory:
make build/bin/incremental
There is a flag for enabling bit-inversion symmetry breaking: -DUSE_BIT_INVERSION=true
Enabled for shortcut build targets:
make benchmark