Implement the objno option in gecode and jacop