COIN-OR::LEMON - Graph Library

source: lemon-project-template-glpk/deps/glpk/src/minisat/README @ 9:33de93886c88

subpack-glpk
Last change on this file since 9:33de93886c88 was 9:33de93886c88, checked in by Alpar Juttner <alpar@…>, 13 years ago

Import GLPK 4.47

File size: 903 bytes
Line 
1NOTE: 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************************************************************************
7MiniSat-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
16MiniSat-C v1.14
17========================================
18
19Ok, we get it. You hate C++. You hate templates. We agree; C++ is a
20seriously messed up language. Although we are more pragmatic about the
21quirks and maldesigns in C++, we sympathize with you. So here is a
22pure C version of MiniSat, put together by Niklas Sorensson.
Note: See TracBrowser for help on using the repository browser.