SAT solvers used for CSP computations are know able to tell if they are real solvers or DIMACS/PB output solvers.
This behavior is needed since output solvers must specify the literals mappings, which might be hidden in a computation point of view due to its (possibly) huge size.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2541 ba638df5-4473-46d1-82f8-c3ae2a17a6e1