path: root/libs/minisat
Commit message (Expand)AuthorAge
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-06
* Removed Minisat dependency on zlibClifford Wolf2014-07-25
* Updated minisatClifford Wolf2014-07-21
* Using relative path names in minisat headersClifford Wolf2014-07-21
* minisat compile fixClifford Wolf2014-04-20
* POSIX find requires a path argument.Anthony J. Bentley2014-04-04
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-12
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-12