- add some comments, prepare to make proof recording optional
authorMichael Schroeder <mls@suse.de>
Thu, 14 Apr 2011 12:57:14 +0000 (14:57 +0200)
committerMichael Schroeder <mls@suse.de>
Thu, 14 Apr 2011 12:57:14 +0000 (14:57 +0200)
commit3f38d2c9a022cedeea84bc34052879439dd7456d
tree7bd1f6441906ee1fe00cd7d0b814359b0c1db2c4
parentce566e1fedacba1f49dc1a3b222322283930ec0a
- add some comments, prepare to make proof recording optional
src/solver.c