6515faa115664909351ac241763bcb374ff62608Jakub JirutkaMiniSat-C v1.14.1
6515faa115664909351ac241763bcb374ff62608Jakub Jirutka========================================
6515faa115664909351ac241763bcb374ff62608Jakub Jirutka* Fixed some serious bugs.
6515faa115664909351ac241763bcb374ff62608Jakub Jirutka* Tweaked to be Visual Studio friendly (by Alan Mishchenko).
6515faa115664909351ac241763bcb374ff62608Jakub Jirutka This disabled reading of gzipped DIMACS files and signal handling, but none
6515faa115664909351ac241763bcb374ff62608Jakub Jirutka of these features are essential (and easy to re-enable, if wanted).
6515faa115664909351ac241763bcb374ff62608Jakub JirutkaMiniSat-C v1.14
6515faa115664909351ac241763bcb374ff62608Jakub Jirutka========================================
6515faa115664909351ac241763bcb374ff62608Jakub JirutkaOk, we get it. You hate C++. You hate templates. We agree; C++ is a
6515faa115664909351ac241763bcb374ff62608Jakub Jirutkaseriously messed up language. Although we are more pragmatic about the
6515faa115664909351ac241763bcb374ff62608Jakub Jirutkaquirks and maldesigns in C++, we sympathize with you. So here is a
6515faa115664909351ac241763bcb374ff62608Jakub Jirutkapure C version of MiniSat, put together by Niklas S�rensson.