From constraint models to playable puzzle games