-
leberre authored
Changed a bit the implementation of AbstractClauseSelector to allow that solver to be used both from the outside (external state) as if the selector variables were forced to false and from power users procedures (internal state) where the power user has the responsibility to make sense of verified selector variables. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1676 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
ccc53e6e