subpack-glpk
| Rev | Line | |
|---|
| [9] | 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. |
|---|
Note: See
TracBrowser
for help on using the repository browser.
