1505N/A========================================
1505N/A* Tweaked to be Visual Studio friendly (by Alan Mishchenko).
1505N/A This disabled reading of gzipped DIMACS files and signal handling, but none
1505N/A of these features are essential (and easy to re-enable, if wanted).
1505N/A========================================
1505N/AOk, we get it. You hate C++. You hate templates. We agree; C++ is a
1505N/Aseriously messed up language. Although we are more pragmatic about the
1505N/Aquirks and maldesigns in C++, we sympathize with you. So here is a
1505N/Apure C version of MiniSat, put together by Niklas S�rensson.