lemon-project-template-glpk
view 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 |
| parents | |
| children |
line source
1 NOTE: Files in this subdirectory are NOT part of the GLPK package, but
2 are used with GLPK.
4 The original code was modified according to GLPK requirements by
5 Andrew Makhorin <mao@gnu.org>.
6 ************************************************************************
7 MiniSat-C v1.14.1
8 ========================================
10 * Fixed some serious bugs.
11 * Tweaked to be Visual Studio friendly (by Alan Mishchenko).
12 This disabled reading of gzipped DIMACS files and signal handling,
13 but none of these features are essential (and easy to re-enable, if
14 wanted).
16 MiniSat-C v1.14
17 ========================================
19 Ok, we get it. You hate C++. You hate templates. We agree; C++ is a
20 seriously messed up language. Although we are more pragmatic about the
21 quirks and maldesigns in C++, we sympathize with you. So here is a
22 pure C version of MiniSat, put together by Niklas Sorensson.