analyze_unsolvable: save memory be only using the rseen map for learnt rules
authorMichael Schroeder <mls@suse.de>
Fri, 15 Apr 2011 09:28:41 +0000 (11:28 +0200)
committerMichael Schroeder <mls@suse.de>
Fri, 29 Apr 2011 12:26:51 +0000 (14:26 +0200)
commit5e14d2652b531ea189b6e9601de739c8617cbae0
treeed25dea6bcc80b6a944c0fb392f62de4671cc59b
parentf909aa5c08d4367abfb70dd03ea035e451d4fcf1
analyze_unsolvable: save memory be only using the rseen map for learnt rules
src/solver.c