Modelling and Programming with Gecode – constraint-based system [pdf] | Hacker News Reader