lemon-project-template-glpk
annotate deps/glpk/src/minisat/README @ 11:4fc6ad2fb8a6
Test GLPK in src/main.cc
| author | Alpar Juttner <alpar@cs.elte.hu> |
|---|---|
| date | Sun, 06 Nov 2011 21:43:29 +0100 |
| 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. |