blob: c183c7d6141dcb7167beda607b4cbc5a2fc7aba1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
NOTE: Files in this subdirectory are NOT part of the GLPK package, but
are used with GLPK.
The original code was modified according to GLPK requirements by
Andrew Makhorin <mao@gnu.org>.
************************************************************************
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 Sorensson.
|