summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat2
Commit message (Expand)AuthorAgeFilesLines
* Compiler problems.Alan Mishchenko2014-10-211-1/+1
* Compiler problems.Alan Mishchenko2014-10-211-3/+4
* Compiler problems.Alan Mishchenko2014-10-211-4/+7
* Compiler problems.Alan Mishchenko2014-10-212-1/+3
* Adding code of MiniSAT 2.2.Alan Mishchenko2014-10-2128-0/+5813