A new version of XCSP has just been released.
The most important part of the new format is available in available in a subset of the spec, XCSP 3.0 core:
Sat4j CSP should implement it to be used in the classroom with master students.
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.