alpar@9: NOTE: Files in this subdirectory are NOT part of the GLPK package, but
alpar@9:       are used with GLPK.
alpar@9: 
alpar@9:       The original code was modified according to GLPK requirements by
alpar@9:       Andrew Makhorin <mao@gnu.org>.
alpar@9: ************************************************************************
alpar@9: MiniSat-C v1.14.1
alpar@9: ========================================
alpar@9: 
alpar@9: * Fixed some serious bugs.
alpar@9: * Tweaked to be Visual Studio friendly (by Alan Mishchenko).
alpar@9:   This disabled reading of gzipped DIMACS files and signal handling,
alpar@9:   but none of these features are essential (and easy to re-enable, if
alpar@9:   wanted).
alpar@9: 
alpar@9: MiniSat-C v1.14
alpar@9: ========================================
alpar@9: 
alpar@9: Ok, we get it. You hate C++. You hate templates. We agree; C++ is a
alpar@9: seriously messed up language. Although we are more pragmatic about the
alpar@9: quirks and maldesigns in C++, we sympathize with you. So here is a
alpar@9: pure C version of MiniSat, put together by Niklas Sorensson.