aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat
Commit message (Expand)AuthorAgeFilesLines
* Add minisat 00_PATCH_typofixes.patchClifford Wolf2017-03-272-0/+21
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-274-18/+44
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-2/+2
* Removed Minisat dependency on zlibClifford Wolf2014-07-254-13/+42
* Updated minisatClifford Wolf2014-07-2120-45/+45
* Using relative path names in minisat headersClifford Wolf2014-07-211-1/+1
* minisat compile fixClifford Wolf2014-04-203-2/+25
* POSIX find requires a path argument.Anthony J. Bentley2014-04-041-1/+1
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-123-9/+10
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-1224-0/+5013