cprudhom/Galak — pull request #63 by cprudhom (2012-02-01 10:24:28+00:00)
Title: issue #60 : add WaterMarker

Add 2 type of water markers : one for normal size problem (less than
60000 elements) and one for large problem (more than 60000 elements).

The structure is not heap space safe du to creation of a lot of
TIntHashSet.