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)
commit5f9c97811b4c5607b4ebe187fd6aae65dbd143e0
treed659c1762add61f8c5bff56b6b0691c7f6ff2eb5
parent3f38d2c9a022cedeea84bc34052879439dd7456d
analyze_unsolvable: save memory be only using the rseen map for learnt rules
src/solver.c