ricosat 1.0.0 → 1.0.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 639fdbe052fc2a3c0e2016e25b5188ee86269f18
-  data.tar.gz: 1bd29993fdcd03d725093e467f1ba85d04043e2c
+  metadata.gz: 3f0e9513e7debb7bf00beb9a3ec4901839d1b247
+  data.tar.gz: ba02d51143248877129218577dec3de7b9edfbba
 SHA512:
-  metadata.gz: 5645149cf29ed980e2b28a077930e589fb3bd4a70e45d3eb86232659bab2b08a19750fb0eaa2eeb3d5595afa2629f02564fcf2540fe4cd228ae0541b558b77dd
-  data.tar.gz: 406548fe2374cfaebc6fc036926756751e6ef2c7a2f49217735199b75ece567d8d1eb41ab22fa3eed912338465700811f1942d4942b81d82cf009c66ba33b219
+  metadata.gz: f8b0b1b9208c454a44214ce06fee37457642efb51d1900511bfe68159039375990a21a638ce4a79f722cdc8744af4dc1ae238659c92fea441983e7a4c3f4df8d
+  data.tar.gz: eb30927239fbcb1444f781dfe34bda13a5f2277acdc596b034190855e2fcd4467468ff9b075f1b83ce43de5fd60cfacc778cf12c538e1f4484490aade70a854b

data/Manifest.txt

@@ -6,6 +6,5 @@ ext/ricosat/extconf.rb
 ext/ricosat/picosat.c
 ext/ricosat/picosat.h
 ext/ricosat/ricosat.c
-lib/ricosat.bundle
 lib/ricosat.rb
 test/test_ricosat.rb

data/ext/ricosat/ricosat.c

@@ -43,6 +43,13 @@ static VALUE set_less_important_lit(VALUE self, VALUE lit) {
     return self;
 }
 
+static VALUE set_default_phase(VALUE self, VALUE lit, VALUE val) {
+    PicoSAT * sat;
+    TypedData_Get_Struct(self, PicoSAT, &RicoSatType, sat);
+    picosat_set_default_phase_lit(sat, NUM2INT(lit), NUM2INT(val));
+    return self;
+}
+
 static VALUE inc_max_var(VALUE self) {
     PicoSAT * sat;
     TypedData_Get_Struct(self, PicoSAT, &RicoSatType, sat);
@@ -173,8 +180,9 @@ void Init_ricosat() {
     rb_define_const(cRicoSat, "UNSATISFIABLE", INT2NUM(PICOSAT_UNSATISFIABLE));
     rb_define_method(cRicoSat, "measure_all_calls", measure_all_calls, 0);
     rb_define_method(cRicoSat, "verbosity=", set_verbosity, 1);
-    rb_define_method(cRicoSat, "more_important_lit", set_more_important_lit, 1);
-    rb_define_method(cRicoSat, "less_important_lit", set_less_important_lit, 1);
+    rb_define_method(cRicoSat, "more_important", set_more_important_lit, 1);
+    rb_define_method(cRicoSat, "less_important", set_less_important_lit, 1);
+    rb_define_method(cRicoSat, "set_default_phase", set_default_phase, 2);
     rb_define_method(cRicoSat, "inc_max_var", inc_max_var, 0);
     rb_define_method(cRicoSat, "add", add, 1);
     rb_define_method(cRicoSat, "solve", solve, 1);

data/lib/ricosat.rb

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

data/test/test_ricosat.rb

@@ -137,4 +137,10 @@ class TestRicosat < MiniTest::Test
       flunk "should be satisfiable"
     end
   end
+
+  def test_set_default_phase
+    sat = RicoSAT.new
+    sat.add(1); sat.add(0)
+    assert sat.set_default_phase 1, 1
+  end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ricosat
 version: !ruby/object:Gem::Version
-  version: 1.0.0
+  version: 1.0.1
 platform: ruby
 authors:
 - Aaron Patterson
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-02-23 00:00:00.000000000 Z
+date: 2017-02-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -72,7 +72,6 @@ files:
 - ext/ricosat/picosat.c
 - ext/ricosat/picosat.h
 - ext/ricosat/ricosat.c
-- lib/ricosat.bundle
 - lib/ricosat.rb
 - test/test_ricosat.rb
 homepage: https://github.com/tenderlove/ricosat