sat4j issueshttps://gitlab.ow2.org/sat4j/sat4j/-/issues2018-07-07T05:11:53Zhttps://gitlab.ow2.org/sat4j/sat4j/-/issues/133Support XCSP 3 format2018-07-07T05:11:53ZDaniel Le BerreSupport XCSP 3 formatA 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...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.