Added location gecode model and spec