-
lonca authored
Fixed a bug that caused the solver to compute a wrong objective value while in inner mode (this occured when the objective function contained variables that were internal to the solver) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1729 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
3bd6a850