Support XCSP 3 format
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.