A new version of XCSP has just been released. http://xcsp.org/

The most important part of the new format is available in available in a subset of the spec, XCSP 3.0 core: http://xcsp.org/core/menuCore.html

Sat4j CSP should implement it to be used in the classroom with master students.