Minisat 2.2.0

"MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT."
[http://minisat.se]

Closes #8011.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>

1 files changed, 46 insertions, 0 deletions

diff --git a/Library/Formula/minisat.rb b/Library/Formula/minisat.rb
new file mode 100644
index 000000000..8198fac38
--- /dev/null
+++ b/Library/Formula/minisat.rb
@@ -0,0 +1,46 @@
+require 'formula'
+
+class Minisat < Formula
+  homepage 'http://minisat.se'
+  url 'https://github.com/niklasso/minisat/tarball/releases/2.2.0'
+  md5 '2274977506042714811968afca01b68d'
+
+  # Fixes compilation on mac; in next upstream release. See:
+  # http://groups.google.com/group/minisat/browse_thread/thread/f5b6a180cadbb214
+  def patches
+    DATA
+  end
+
+  def install
+    ENV['MROOT'] = Dir.pwd
+    Dir.chdir 'simp'
+    system "make", "r"
+    bin.install 'minisat_release' => 'minisat'
+  end
+end
+
+__END__
+diff --git a/utils/System.cc b/utils/System.cc
+index a7cf53f..feeaf3c 100644
+--- a/utils/System.cc
++++ b/utils/System.cc
+@@ -78,16 +78,17 @@ double Minisat::memUsed(void) {
+     struct rusage ru;
+     getrusage(RUSAGE_SELF, &ru);
+     return (double)ru.ru_maxrss / 1024; }
+-double MiniSat::memUsedPeak(void) { return memUsed(); }
++double Minisat::memUsedPeak(void) { return memUsed(); }
+ 
+ 
+ #elif defined(__APPLE__)
+ #include <malloc/malloc.h>
+ 
+-double Minisat::memUsed(void) {
++double Minisat::memUsed() {
+     malloc_statistics_t t;
+     malloc_zone_statistics(NULL, &t);
+     return (double)t.max_size_in_use / (1024*1024); }
++double Minisat::memUsedPeak() { return memUsed(); }
+ 
+ #else
+ double Minisat::memUsed() {