summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat2
Commit message (Collapse)AuthorAgeFilesLines
* Changes and fixed suggested by Clifford Wolf.Alan Mishchenko2017-09-151-2/+2
|
* 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