Blog - bit vectors

Adding WordVar to GecodeDraft

WordVar is a new Gecode variable type for fixed-width machine words, with a domain of known bits plus an optional signed, unsigned, or floating-point interval.