| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-12-01 22:49:49 | 57 | |
| LICENSE | 2012-05-08 22:21:56 | 1 KiB | |
| py_solver.c | 2015-12-26 15:17:04 | 12 KiB | |
| README | 2012-05-08 22:21:56 | 623 | |
| solver.c | 2012-05-08 22:21:56 | 38.1 KiB | |
| solver.h | 2012-05-08 22:21:56 | 5.2 KiB | |
| vec.h | 2012-05-08 22:21:56 | 3.4 KiB |
README
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.