Ruben Undheim
|
79cbf9067c
|
Corrected spelling mistakes found by lintian
|
2014-09-06 08:47:06 +02:00 |
|
Clifford Wolf
|
6789e3002a
|
Removed Minisat dependency on zlib
|
2014-07-25 03:41:54 +02:00 |
|
Clifford Wolf
|
92c9403249
|
Updated minisat
|
2014-07-21 01:01:26 +02:00 |
|
Clifford Wolf
|
c6b3f4e089
|
Using relative path names in minisat headers
|
2014-07-21 01:00:39 +02:00 |
|
Clifford Wolf
|
d2d48996c4
|
minisat compile fix
|
2014-04-20 14:17:40 +02:00 |
|
Anthony J. Bentley
|
66a5da5edc
|
POSIX find requires a path argument.
|
2014-04-04 16:51:27 -06:00 |
|
Clifford Wolf
|
a4d72de91d
|
Some fixes in libs/minisat (thanks to Siesh1oo)
|
2014-03-12 23:28:10 +01:00 |
|
Clifford Wolf
|
94c1307c26
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|