search

chocoteam / choco-parsers

Parsers to Choco3
BSD 4-Clause "Original" or "Old" License
9 stars 4 forks source link

Export a choco model to XCSP3 #13

Closed semantoro closed 6 years ago

semantoro commented 6 years ago

Hi choco team,

I want to know if there is a way to export my choco 4.5 model to XCSP3 format.

thank you in advance .

cprudhom commented 6 years ago

Hi Semantoro,

No, there is no such feature. One can either import XCSP3 formatted files, MiniZinc ones and JSON ones, or export to JSON format. However, everything is ready to export to another format, like XCSP3. If you feel like doing it, you are very welcome :)

Best,