-
lonca authored
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@2540 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
167e15b8