ruby-minisat 2.2.0 → 2.2.0.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
-SHA1:
-  metadata.gz: 296d98a29864044819a0e0dd556a152e1aff8a96
-  data.tar.gz: 10a28e85eca2fc741a4dd4f43adaabe248dc1146
+SHA256:
+  metadata.gz: 5a154d9157d2e65b5e29e65434c3acf26ddafae4982c3fdb5bf27e890fb3f60a
+  data.tar.gz: 9d85a3db858add69252a19b185bc50716f14ba651c35cadc3a189caaee8e1500
 SHA512:
-  metadata.gz: a3990d7912879f13d48445fe48a4435b9c4a8d94245b55de68bdfea4142ec4e434a0a0560eb111b6f228f9280637524f2d7230c1edec94cd1c58d92a0c990cf5
-  data.tar.gz: abf39822777fff19785d307d1c1acd6e016fd48b8f0afb03643daaa38e369a491aaff833cdefed6784b06a231aeab0c8822ab4fcaf931b014e12223065acf9d5
+  metadata.gz: f74ed73c8416fa4bb7131a70e2525d1850b7ba88a115c1b4d048053dc4c59bf32b13fbf3402246b7b5990f2b2d23a485abea39db1a737d3eb802c2a624e9ece1
+  data.tar.gz: e0698e3afff27bc6de4dc7c28085192a65288b0b2c2704d0c1995320fa179cb9d6db0bc379673ae85b68cb74fc073fc042f73864f42e84ceca3d67c9f5e6aa61

data/ext/minisat/minisat.c

@@ -277,7 +277,7 @@ static VALUE solver_add_clause_2(VALUE rslv, VALUE rcls)
     }
     else {
       rcls = rb_convert_type(rcls, T_ARRAY, "Array", "to_ary");
-      return solver_add_clause(RARRAY_LEN(rcls), RARRAY_PTR(rcls), rslv);
+      return solver_add_clause((int) RARRAY_LEN(rcls), RARRAY_PTR(rcls), rslv);
     }
 }
 

data/minisat/minisat/core/SolverTypes.h

@@ -47,7 +47,7 @@ struct Lit {
     int     x;
 
     // Use this as a constructor:
-    friend Lit mkLit(Var var, bool sign = false);
+    friend Lit mkLit(Var var, bool sign);
 
     bool operator == (Lit p) const { return x == p.x; }
     bool operator != (Lit p) const { return x != p.x; }
@@ -55,16 +55,16 @@ struct Lit {
 };
 
 
-inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
-inline  Lit  operator ~(Lit p)              { Lit q; q.x = p.x ^ 1; return q; }
+inline  Lit  mkLit     (Var var, bool sign = false) { Lit p; p.x = var + var + (int)sign; return p; }
+inline  Lit  operator ~(Lit p)               { Lit q; q.x = p.x ^ 1; return q; }
 inline  Lit  operator ^(Lit p, bool b)      { Lit q; q.x = p.x ^ (unsigned int)b; return q; }
 inline  bool sign      (Lit p)              { return p.x & 1; }
 inline  int  var       (Lit p)              { return p.x >> 1; }
 
 // Mapping Literals to and from compact integers suitable for array indexing:
-inline  int  toInt     (Var v)              { return v; } 
-inline  int  toInt     (Lit p)              { return p.x; } 
-inline  Lit  toLit     (int i)              { Lit p; p.x = i; return p; } 
+inline  int  toInt     (Var v)              { return v; }
+inline  int  toInt     (Lit p)              { return p.x; }
+inline  Lit  toLit     (int i)              { Lit p; p.x = i; return p; }
 
 //const Lit lit_Undef = mkLit(var_Undef, false);  // }- Useful special constants.
 //const Lit lit_Error = mkLit(var_Undef, true );  // }

data/minisat/minisat/utils/Options.h

@@ -199,7 +199,7 @@ class IntOption : public Option
             return false;
 
         char*   end;
-        int32_t tmp = strtol(span, &end, 10);
+        int32_t tmp = (int32_t) strtol(span, &end, 10);
 
         if (end == NULL) 
             return false;

data/ruby-minisat.gemspec

@@ -1,9 +1,9 @@
 # coding: utf-8
 Gem::Specification.new do |spec|
   spec.name          = "ruby-minisat"
-  spec.version       = "2.2.0"
+  spec.version       = "2.2.0.1"
   spec.authors       = ["Yusuke Endoh"]
-  spec.email         = ["mame@tsg.ne.jp"]
+  spec.email         = ["mame@ruby-lang.org"]
   spec.description   = %q{ruby binding for MiniSat, an open-source SAT solver}
   spec.summary       = %q{ruby binding for MiniSat, an open-source SAT solver}
   spec.homepage      = "http://github.com/mame/ruby-minisat"

metadata

@@ -1,52 +1,52 @@
 --- !ruby/object:Gem::Specification
 name: ruby-minisat
 version: !ruby/object:Gem::Version
-  version: 2.2.0
+  version: 2.2.0.1
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-05-30 00:00:00.000000000 Z
+date: 2019-10-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
         version: '1.3'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
         version: '1.3'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ">="
       - !ruby/object:Gem::Version
         version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '>='
+    - - ">="
       - !ruby/object:Gem::Version
         version: '0'
 description: ruby binding for MiniSat, an open-source SAT solver
 email:
-- mame@tsg.ne.jp
+- mame@ruby-lang.org
 executables: []
 extensions:
 - ext/minisat/extconf.rb
 extra_rdoc_files: []
 files:
-- .gitignore
+- ".gitignore"
 - Gemfile
 - LICENSE
 - README.md
@@ -107,25 +107,24 @@ licenses:
 metadata: {}
 post_install_message: 
 rdoc_options:
-- --exclude
-- .*\.o
-- --exclude
+- "--exclude"
+- ".*\\.o"
+- "--exclude"
 - minisat.so
 require_paths:
 - ext/minisat/
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 2.0.2
+rubygems_version: 3.0.3
 signing_key: 
 specification_version: 4
 summary: ruby binding for MiniSat, an open-source SAT solver