aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/LICENSE
Commit message (Expand)AuthorAgeFilesLines
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-121-0/+21
id='n16' href='#n16'>16 17 18 19 20 21 22 23 24 25 26