-
leberre authored
The head literal cannot be set in the PB learnt constraints constructor because at that point, all the literals might be assigned. That must be done in the assertConstraint method. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@362 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
2af496d0