aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat
Commit message (Expand)AuthorAgeFilesLines
* Add WASI platform support.whitequark2020-04-303-3/+41
* Remove added newline (by re-running minisat 00_UPDATE.sh)Clifford Wolf2019-05-081-1/+0
* Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-0/+1
* minisat: Make update script executable.Tim 'mithro' Ansell2017-11-251-0/+0
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-255-2/+18
* minisat: Remove template with gzFile specialization.Tim 'mithro' Ansell2017-11-252-4/+21
* 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