XCSP3 Parser output

7 views
Skip to first unread message

george assaf

unread,
Nov 24, 2025, 5:30:37 PMNov 24
to choco-solver
Dear all,
I am using the XCSP3 Choco parser command line utility to solve my XCSP3 problem instance, however, the command line offers an option -csv to output the solver search results as a csv line,. here are two examples 
S;12;1.362;1200.003;536.026;717;8144100;16190413;0;8046757;1654;
here another example 
T;607;0.552;3.990;3.043;940097;8571;11487;0;2916;422;
I tried to  find a documentation explaining the meaning of the  csv columns, but in vain.
Do you have an idea on the interpretation of the columns? It would be nice if you could guide me to a documentation?

Thanks in Advance

Reply all
Reply to author
Forward
0 new messages