ravensat 1.1.0 → 1.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e2be04a5683be973ab9a882393a2ac6ed25d40d19899d3222841a0727e7a9ccc
-  data.tar.gz: 6674ab1b25282eb389672ed0e53857272fe048a0d08c6ec0d632c56ff126bbc9
+  metadata.gz: 6bfe00570d2de6c7da2dfe2075f99d3372435290235f4f581c82697a19e9e415
+  data.tar.gz: 25e100b47651b0b146e7f392bc793059a0702bb58fe663618d3f2501059c7783
 SHA512:
-  metadata.gz: fb557522b6b17eeaec4171a76169887b1392a9d321ed6e723911df41d6caddcc00dd31e376e340c78cc71dd5a29267a0c4050a6f1c91bba21dbb4d4aafcebb61
-  data.tar.gz: d046a5e639fdb03a2c372b96cc992ef6c8ef6b1c3a73bf0c26f460a82acfce84495bc20ce4661cef99a858e7dc5ed5b6a373bb1788d78cb737c0c8eb7e20e273
+  metadata.gz: 2cdb626e3c97e72cb4b3221a6a89857cc1fe4d8704235f73b504ed3c2e0fcea13d49d3f17f074bf62ea982c64c5663708332ad86494d59c3bc8403a3c2d9c67c
+  data.tar.gz: 152988e5e50542e1bd63c842cee4024144c8154fbf6567383eebfd35dfff530de1342e0f44a3ec30365845aff79e41c964dd8fafb2d626718c94805162b95115

data/lib/ravensat/claw.rb

@@ -51,6 +51,7 @@ module Ravensat
 
     def self.commander_at_most_k(bool_vars, k)
       return Ravensat::NilNode.new if bool_vars.size == 1
+      return commander_at_most_one(bool_vars) if k == 1
       group_size = k + 2
       commander_variables = []
       formula = Ravensat::InitialNode.new

data/lib/ravensat/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Ravensat
-  VERSION = "1.1.0"
+  VERSION = "1.1.1"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ravensat
 version: !ruby/object:Gem::Version
-  version: 1.1.0
+  version: 1.1.1
 platform: ruby
 authors:
 - rikuto matsuda