- fix learnt rule assertion in a different way
authorMichael Schroeder <mls@suse.de>
Mon, 10 Mar 2008 18:44:25 +0000 (18:44 +0000)
committerMichael Schroeder <mls@suse.de>
Mon, 10 Mar 2008 18:44:25 +0000 (18:44 +0000)
commit6561637560502ab35bb0376d73d232c12f895fba
tree821e9eb290ce03936d7e3783b25ceb4b220887be
parentbc245f3d6ef1df256a701422acf33be7ea5b7acf
- fix learnt rule assertion in a different way
- also fixes problem suggestion
src/solver.c