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 S�rensson.