z3 0.0.20230107 → 0.0.20230311

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f5369c721ea50477790661ac8975e9c66104028450d4a73a2916eac046633380
-  data.tar.gz: 713374dddd23a82e7a22ec32e60964288182306201ef6e3e212e17b8d25c7a06
+  metadata.gz: bba953278a11ef2e902d7f7103195a57c2d94b1a515de357e23c4cce3a8ced81
+  data.tar.gz: c4dc956299e225582b8913d135adcd67595fcfb28c20565a1121b5d5ed73f983
 SHA512:
-  metadata.gz: 22d87abcdc1c5b8570bb0c52db0a0086185336bba84092666b010de0504cfa15e9973073d0ca1fa0ac5cb2eb448b2e9ae6da1ba5f7f807255fbbb91e573c42cf
-  data.tar.gz: cc3527b80fd35db96b1dd6cf2fde3511f97cc94316f76c507e8c7ded6f6fef1b122fdc477a043870a15acd7bf76a87e6884f3e6d502998c762315b3732d14023
+  metadata.gz: ca74743545f86daa86cb85a3f33ce0db5e3d159dcbe133e85a389b795d5ca6ad5b15842e275ef18a21e0a3317d010d1906143fc8bd6cbc27513777d0186a88df
+  data.tar.gz: a6ef5bb470556ad7d1bb39c54537ca9516aa64cc0bfb53fc8984352033ced94443e0272de9fa078a451f680af3a08d4c2c706e43f134a564bb2aef9fd677a8be

data/lib/z3/expr/int_expr.rb

@@ -4,6 +4,10 @@ module Z3
       IntExpr.Mod(self, other)
     end
 
+    def %(other)
+      IntExpr.Mod(self, other)
+    end
+
     def rem(other)
       IntExpr.Rem(self, other)
     end

data/spec/int_expr_spec.rb

@@ -39,6 +39,15 @@ module Z3
       expect([a == -10, b == -3, c == a.mod(b)]).to have_solution(c => 2)
     end
 
+    # It doesn't match Ruby on negative right side, but nobody does modulo a negative anyway
+    # Python Z3 API does the same thing
+    it "%" do
+      expect([a ==  10, b ==  3, c == a % b]).to have_solution(c => 1)
+      expect([a ==  10, b == -3, c == a % b]).to have_solution(c => 1)
+      expect([a == -10, b ==  3, c == a % b]).to have_solution(c => 2)
+      expect([a == -10, b == -3, c == a % b]).to have_solution(c => 2)
+    end
+
     it "==" do
       expect([a == 2, b == 2, x == (a == b)]).to have_solution(x => true)
       expect([a == 2, b == 3, x == (a == b)]).to have_solution(x => false)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: z3
 version: !ruby/object:Gem::Version
-  version: 0.0.20230107
+  version: 0.0.20230311
 platform: ruby
 authors:
 - Tomasz Wegrzanowski
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-01-07 00:00:00.000000000 Z
+date: 2023-03-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: pry
@@ -358,7 +358,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements:
 - z3 library (4.8+)
-rubygems_version: 3.3.7
+rubygems_version: 3.3.26
 signing_key:
 specification_version: 4
 summary: Z3 Constraint Solver