annotate deps/glpk/src/minisat/README @ 9:33de93886c88
Import GLPK 4.47
| author |
Alpar Juttner <alpar@cs.elte.hu> |
| date |
Sun, 06 Nov 2011 20:59:10 +0100 (2011-11-06) |
| parents |
|
| children |
|
| rev |
line source |
|
alpar@9
|
1 NOTE: Files in this subdirectory are NOT part of the GLPK package, but
|
|
alpar@9
|
2 are used with GLPK.
|
|
alpar@9
|
3
|
|
alpar@9
|
4 The original code was modified according to GLPK requirements by
|
|
alpar@9
|
5 Andrew Makhorin <mao@gnu.org>.
|
|
alpar@9
|
6 ************************************************************************
|
|
alpar@9
|
7 MiniSat-C v1.14.1
|
|
alpar@9
|
8 ========================================
|
|
alpar@9
|
9
|
|
alpar@9
|
10 * Fixed some serious bugs.
|
|
alpar@9
|
11 * Tweaked to be Visual Studio friendly (by Alan Mishchenko).
|
|
alpar@9
|
12 This disabled reading of gzipped DIMACS files and signal handling,
|
|
alpar@9
|
13 but none of these features are essential (and easy to re-enable, if
|
|
alpar@9
|
14 wanted).
|
|
alpar@9
|
15
|
|
alpar@9
|
16 MiniSat-C v1.14
|
|
alpar@9
|
17 ========================================
|
|
alpar@9
|
18
|
|
alpar@9
|
19 Ok, we get it. You hate C++. You hate templates. We agree; C++ is a
|
|
alpar@9
|
20 seriously messed up language. Although we are more pragmatic about the
|
|
alpar@9
|
21 quirks and maldesigns in C++, we sympathize with you. So here is a
|
|
alpar@9
|
22 pure C version of MiniSat, put together by Niklas Sorensson.
|
