- 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)
commita8d22692b89caf57f42ead5c43c747cc9298191c
tree5bac4330d72ca401118315271db0c2d960552e03
parente0434dee8d0c1f7d2af1572d155284a83b80528e
- add some comments, prepare to make proof recording optional
src/solver.c