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