Auteur :  Christian Schulte (KTH (Stockholm) et Swedish Institute of Computer Science)

Titre : Gecode - an open constraint solving library 

Abstract : 

Gecode is a widely used toolkit for developing constraint-based systems and
applications. Gecode provides a constraint solver with stateof-theart
performance while being modular and extensible. Gecode is: open (documented
interfaces support tasks from modeling to implementing new variables,
constraints, search engines, ...), free (MIT license), portable (standard
C++), accessible (extensive tutorial and reference documentation), efficient
(excellent performance, has won the 2008-2012 MiniZinc challenges in all
categories), and parallel (exploits today's multicore hardware). 

The talk provides a brief introduction into constraint programming, followed
by an overview of what Gecode is, what one can do with it, and what are the
basic ideas behind its architecture.