-
Lonca Emmanuel authored
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.
cba71c6b
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.