[gecode-users] bit-vector variables and constraints

[Pierre Flener]

Hi all,

Kellen Dye has written a Gecode implementation of bit-vector variables and propagators for bit-vector constraints, including some of those of [MVH12], following the ideas of that paper.  The C++ source files and a benchmark are at https://github.com/kellen/bitvector-masters/ .  The implementation is provided as is, and does not fully comply yet with Gecode style, but we hope it will already be useful to some.

Cheers,
Pierre


[MVH12] L. D. Michel and P. Van Hentenryck.  Constraint satisfaction over bit-vectors.  In: M. Milano (editor), CP 2012, pages 527-543.  Lecture Notes in Computer Science, volume 7514.  Springer, 2012.  (http://dx.doi.org/10.1007/978-3-642-33558-7_39)