Choco3: AllDifferentExcept0.java