NOTE: Files in this subdirectory are NOT part of the GLPK package, but
      are used with GLPK.

      The original code was modified according to GLPK requirements by
      Andrew Makhorin <mao@gnu.org>.
************************************************************************
MiniSat-C v1.14.1
========================================

* Fixed some serious bugs.
* Tweaked to be Visual Studio friendly (by Alan Mishchenko).
  This disabled reading of gzipped DIMACS files and signal handling,
  but none of these features are essential (and easy to re-enable, if
  wanted).

MiniSat-C v1.14
========================================

Ok, we get it. You hate C++. You hate templates. We agree; C++ is a
seriously messed up language. Although we are more pragmatic about the
quirks and maldesigns in C++, we sympathize with you. So here is a
pure C version of MiniSat, put together by Niklas Sorensson.