constraint programming code snippets in matlab