blob: b31e850bbd676e10d199a247cd5ed86abc018336 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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.
|