lemon-project-template-glpk
view 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 |
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.