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.
Abdelrahman Said