Modelling and Programming with Gecode – constraint-based system [pdf] · HackerTrans