ravensat 1.1.0 → 1.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. checksums.yaml +4 -4
  2. data/lib/ravensat/claw.rb +1 -0
  3. data/lib/ravensat/version.rb +1 -1
  4. metadata +1 -1
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: e2be04a5683be973ab9a882393a2ac6ed25d40d19899d3222841a0727e7a9ccc
4
- data.tar.gz: 6674ab1b25282eb389672ed0e53857272fe048a0d08c6ec0d632c56ff126bbc9
3
+ metadata.gz: 6bfe00570d2de6c7da2dfe2075f99d3372435290235f4f581c82697a19e9e415
4
+ data.tar.gz: 25e100b47651b0b146e7f392bc793059a0702bb58fe663618d3f2501059c7783
5
5
  SHA512:
6
- metadata.gz: fb557522b6b17eeaec4171a76169887b1392a9d321ed6e723911df41d6caddcc00dd31e376e340c78cc71dd5a29267a0c4050a6f1c91bba21dbb4d4aafcebb61
7
- data.tar.gz: d046a5e639fdb03a2c372b96cc992ef6c8ef6b1c3a73bf0c26f460a82acfce84495bc20ce4661cef99a858e7dc5ed5b6a373bb1788d78cb737c0c8eb7e20e273
6
+ metadata.gz: 2cdb626e3c97e72cb4b3221a6a89857cc1fe4d8704235f73b504ed3c2e0fcea13d49d3f17f074bf62ea982c64c5663708332ad86494d59c3bc8403a3c2d9c67c
7
+ data.tar.gz: 152988e5e50542e1bd63c842cee4024144c8154fbf6567383eebfd35dfff530de1342e0f44a3ec30365845aff79e41c964dd8fafb2d626718c94805162b95115
data/lib/ravensat/claw.rb CHANGED
@@ -51,6 +51,7 @@ module Ravensat
51
51
 
52
52
  def self.commander_at_most_k(bool_vars, k)
53
53
  return Ravensat::NilNode.new if bool_vars.size == 1
54
+ return commander_at_most_one(bool_vars) if k == 1
54
55
  group_size = k + 2
55
56
  commander_variables = []
56
57
  formula = Ravensat::InitialNode.new
data/lib/ravensat/version.rb CHANGED
@@ -1,5 +1,5 @@
1
1
  # frozen_string_literal: true
2
2
 
3
3
  module Ravensat
4
- VERSION = "1.1.0"
4
+ VERSION = "1.1.1"
5
5
  end
metadata CHANGED
@@ -1,7 +1,7 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: ravensat
3
3
  version: !ruby/object:Gem::Version
4
- version: 1.1.0
4
+ version: 1.1.1
5
5
  platform: ruby
6
6
  authors:
7
7
  - rikuto matsuda