CSP3 solver output may now be turned into competition output.
Competition output is made of "c", "s", "o" and "v" lines (just like SAT competition output). Competition output is enabled when the "CompetitonOutput" JVM property is set.
Please register or sign in to comment