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, 15 Apr 2011 09:28:41 +0000 (11:28 +0200)
commit6d9c8fe836b3c69066b8b30a99491addd287b275
tree61f6e2e77f2fef632179d9e7e932cf0c81f05337
parenta8d22692b89caf57f42ead5c43c747cc9298191c
analyze_unsolvable: save memory be only using the rseen map for learnt rules
src/solver.c