2017-03-27 | Clifford Wolf | Add minisat 00_PATCH_typofixes.patch | blob | commitdiff | raw |
2017-03-27 | Clifford Wolf | Remove use of <fpu_control.h> in minisat | blob | commitdiff | raw | diff to current |
2014-09-22 | Ahmed Irfan | Merge branch 'master' of https://github.com/cliffordwol... | blob | commitdiff | raw | diff to current |
2014-07-25 | Clifford Wolf | Removed Minisat dependency on zlib | blob | commitdiff | raw | diff to current |