Skip to main content

Source code browse

Revision: 2918

17178428 pkg history is not capturing release notes
» Project Revision History

» Checkout URL

pkg-gate / src / modules / solver

FilenameAuthorRevisionModifiedLog Entry
..
Bart Smaalders 1505 about 6 years ago 4425 pkg install should deal w/ ...
Bart Smaalders 1505 about 6 years ago 4425 pkg install should deal w/ ...
Bart Smaalders 1505 about 6 years ago 4425 pkg install should deal w/ ...
Tom Mueller 1632 about 6 years ago 13499 port solver to non-sunos p...
Bart Smaalders 1505 about 6 years ago 4425 pkg install should deal w/ ...
Bart Smaalders 1505 about 6 years ago 4425 pkg install should deal w/ ...
Bart Smaalders 1505 about 6 years ago 4425 pkg install should deal w/ ...
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.
 
 
Close
loading
Please Confirm
Close