z3 0.0.20211213 → 0.0.20220203

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c73d508e9644e0c32681754a8f33959bc54d838c21d13f896223225e8b275a76
-  data.tar.gz: 12e017b721b97aaec2d8e1a75145f0c5d3f0769eee2badc89e08e2b0ff11fef1
+  metadata.gz: d7d242f957aeaacf005f52841ebc5eaa0b1ecd507cc6d1f80c6ca0f9d2303813
+  data.tar.gz: 926ecb103b3a90f45defb57e90610eeb6b67f160a0f2b5bf64ed448df26e87d7
 SHA512:
-  metadata.gz: d4993e91a238ad4e1c70e78bfe12301e1bd83759d9ad610fca64f89267868b9c8959c6e51ba98f175836235702c66f9cde8b19d73ddcd2cb760da75aed1f564d
-  data.tar.gz: cca1389567fb61df3d4dc2fa6281b833edcc3c3a2c5872fec2b71089c9f9c927ba0d3e2d164127d5be167c2bb1cc4fd86f2360718631e0a8fbc473bda68ec90b
+  metadata.gz: 76e3973739810e87ae9fed8765c9a8e7c96efac5a02c100cacfc8a3087f005ac6d866a251defe84a5f79dcec9991a98adef58ea64eb57ede5923a54e41f5a262
+  data.tar.gz: e1c805dc4185374113cb639133d4546df210ab9ceb7dd65be2dd6a82ddfb9d1930f31f7d9a6830fa0a82c217c6eeec3a04a4f720e9ab70fcb48dad3d21824387

data/lib/z3/optimize.rb

@@ -3,7 +3,6 @@ module Z3
     attr_reader :_optimize
 
     def initialize
-      raise Z3::Exception, "This is known to crash in Z3 4.8.13"
       @_optimize = LowLevel.mk_optimize
       LowLevel.optimize_inc_ref(self)
       reset_model!

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: z3
 version: !ruby/object:Gem::Version
-  version: 0.0.20211213
+  version: 0.0.20220203
 platform: ruby
 authors:
 - Tomasz Wegrzanowski
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2021-12-13 00:00:00.000000000 Z
+date: 2022-02-03 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: pry
@@ -331,7 +331,8 @@ files:
 homepage: https://github.com/taw/z3
 licenses:
 - MIT
-metadata: {}
+metadata:
+  msys2_mingw_dependencies: z3
 post_install_message:
 rdoc_options: []
 require_paths: