choco: a java library for constraint satisfaction problems , constraint programming and explanation-based constraint solving .