lemon-project-template-glpk
comparison 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 |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:8e572b6f4752 |
|---|---|
| 1 NOTE: Files in this subdirectory are NOT part of the GLPK package, but | |
| 2 are used with GLPK. | |
| 3 | |
| 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 ======================================== | |
| 9 | |
| 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). | |
| 15 | |
| 16 MiniSat-C v1.14 | |
| 17 ======================================== | |
| 18 | |
| 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. |