1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/deps/glpk/src/minisat/README	Sun Nov 06 20:59:10 2011 +0100
     1.3 @@ -0,0 +1,22 @@
     1.4 +NOTE: Files in this subdirectory are NOT part of the GLPK package, but
     1.5 +      are used with GLPK.
     1.6 +
     1.7 +      The original code was modified according to GLPK requirements by
     1.8 +      Andrew Makhorin <mao@gnu.org>.
     1.9 +************************************************************************
    1.10 +MiniSat-C v1.14.1
    1.11 +========================================
    1.12 +
    1.13 +* Fixed some serious bugs.
    1.14 +* Tweaked to be Visual Studio friendly (by Alan Mishchenko).
    1.15 +  This disabled reading of gzipped DIMACS files and signal handling,
    1.16 +  but none of these features are essential (and easy to re-enable, if
    1.17 +  wanted).
    1.18 +
    1.19 +MiniSat-C v1.14
    1.20 +========================================
    1.21 +
    1.22 +Ok, we get it. You hate C++. You hate templates. We agree; C++ is a
    1.23 +seriously messed up language. Although we are more pragmatic about the
    1.24 +quirks and maldesigns in C++, we sympathize with you. So here is a
    1.25 +pure C version of MiniSat, put together by Niklas Sorensson.