A constraint model for the settlers planning domain
Peter J. Gregory, Andrea Rendl · 2008
The Settlers planning domain has proved a challenging problem for planning technology. We present a preliminary model of Settlers in the Essence ’ specification language. We generate a constraint model for the CSP solver Minion using the automated modelling tool Tailor. We show this model to be competitive with state-of-the-art planning technology.