https://www.gecode.dev/https://www.gecode.dev/community/https://www.gecode.dev/disclaimer/https://www.gecode.dev/documentation/https://www.gecode.dev/download/https://www.gecode.dev/flatzinc/https://www.gecode.dev/interfaces/https://www.gecode.dev/license/https://www.gecode.dev/logo/https://www.gecode.dev/news/https://www.gecode.dev/projects/https://www.gecode.dev/publications/https://www.gecode.dev/publications/2006-09-08-programming-constraint-services/https://www.gecode.dev/publications/2006-09-08-views-and-iterators-for-generic-constraint-implementations/https://www.gecode.dev/publications/2007-07-04-advisors-for-incremental-propagation/https://www.gecode.dev/publications/2009-02-23-efficient-constraint-propagation-engines/https://www.gecode.dev/publications/2009-02-24-constraint-propagation---models--techniques--implementation/https://www.gecode.dev/publications/2009-03-12-techniques-for-efficient-constraint-propagation/https://www.gecode.dev/publications/2009-06-17-weakly-monotonic-propagators/https://www.gecode.dev/publications/2009-10-07-maintaining-state-in-propagation-solvers/https://www.gecode.dev/publications/2010-08-04-implementing-efficient-propagation-control/https://www.gecode.dev/publications/2012-12-01-view-based-propagator-derivation/https://www.gecode.dev/publications/2018-08-30-making-compact-table-compact/