ricosat 1.0.1 → 1.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 3f0e9513e7debb7bf00beb9a3ec4901839d1b247
-  data.tar.gz: ba02d51143248877129218577dec3de7b9edfbba
+  metadata.gz: 18466f49c48ecd6df13bcb70bad7d70f7f50bbef
+  data.tar.gz: 6905a43219223e91de5f13fd1ad594671ebdfcbd
 SHA512:
-  metadata.gz: f8b0b1b9208c454a44214ce06fee37457642efb51d1900511bfe68159039375990a21a638ce4a79f722cdc8744af4dc1ae238659c92fea441983e7a4c3f4df8d
-  data.tar.gz: eb30927239fbcb1444f781dfe34bda13a5f2277acdc596b034190855e2fcd4467468ff9b075f1b83ce43de5fd60cfacc778cf12c538e1f4484490aade70a854b
+  metadata.gz: b92044058db7ac4788d8e009b24c01db42378ef149edcf03b2c8453f9aaf0493e86a88619613cec9e59f9a3c47681e3864361279b8576f45e0f1cc2f4b4db4a7
+  data.tar.gz: f473dc63d684deb3c79477ea9fe66d8fc8af66f7116ae4f8136d0edd29e926aeac773ce7ae38bd22af7574835bed30465346809baee71f247a9e065f2173b77f

data/README.md

@@ -11,6 +11,18 @@ you use the PicoSAT solver from Ruby!
 
 * It's a SAT solver!  Not SAT like the tests, but the [Boolean satisfiability problem](https://en.wikipedia.org/wiki/Boolean_satisfiability_problem)
 
+## INSTALLATION:
+
+PicoSAT depends on [gmp](https://gmplib.org) and
+[gperftools](https://github.com/gperftools/gperftools). On a Mac, these can be
+installed in one shot with homebrew via `brew install gmp gperftools`.
+
+Once you have those:
+
+``` ruby
+$ gem install ricosat
+```
+
 ## SYNOPSIS:
 
 Solve the problem (A and NOT B):

data/ext/ricosat/ricosat.c

@@ -166,6 +166,22 @@ static VALUE set_global_default_phase(VALUE self, VALUE val)
     return self;
 }
 
+static VALUE reset_phases(VALUE self)
+{
+    PicoSAT * sat;
+    TypedData_Get_Struct(self, PicoSAT, &RicoSatType, sat);
+    picosat_reset_phases(sat);
+    return self;
+}
+
+static VALUE reset_scores(VALUE self)
+{
+    PicoSAT * sat;
+    TypedData_Get_Struct(self, PicoSAT, &RicoSatType, sat);
+    picosat_reset_scores(sat);
+    return self;
+}
+
 void error_cb(const char *m) {
     rb_raise(rb_eRuntimeError, "%s", m);
 }
@@ -197,6 +213,8 @@ void Init_ricosat() {
     rb_define_method(cRicoSat, "coreclause", coreclause, 1);
     rb_define_method(cRicoSat, "added_original_clauses", added_original_clauses, 0);
     rb_define_method(cRicoSat, "global_default_phase=", set_global_default_phase, 1);
+    rb_define_method(cRicoSat, "reset_phases", reset_phases, 0);
+    rb_define_method(cRicoSat, "reset_scores", reset_scores, 0);
 }
 
 /* vim: set sws=4 noet: */

data/lib/ricosat.rb

@@ -1,5 +1,5 @@
 require 'ricosat.so'
 
 class RicoSAT
-  VERSION = '1.0.1'
+  VERSION = '1.0.2'
 end

data/test/test_ricosat.rb

@@ -143,4 +143,16 @@ class TestRicosat < MiniTest::Test
     sat.add(1); sat.add(0)
     assert sat.set_default_phase 1, 1
   end
+
+  def test_reset_phases
+    sat = RicoSAT.new
+    sat.add(1); sat.add(0)
+    assert sat.reset_phases
+  end
+
+  def test_reset_scores
+    sat = RicoSAT.new
+    sat.add(1); sat.add(0)
+    assert sat.reset_scores
+  end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ricosat
 version: !ruby/object:Gem::Version
-  version: 1.0.1
+  version: 1.0.2
 platform: ruby
 authors:
 - Aaron Patterson