z3 0.0.0 → 0.0.20160221

data/spec/integration/bridges_spec.rb

@@ -0,0 +1,28 @@
+describe "Bridges" do
+  let(:executable) { "#{__dir__}/../../examples/bridges_solver" }
+  it "can solve bridges puzzle" do
+    expect(IO.popen(executable).read.gsub(/ *$/, "")).to eq <<EOF
+
+ 3========6========4
+ |        ‖        ‖
+ |        ‖        ‖
+ |  1     ‖        ‖
+ |  |     ‖        ‖
+ |  |     ‖        ‖
+ |  |     4=====4  ‖
+ |  |           ‖  ‖
+ |  |           ‖  ‖
+ |  |           ‖  ‖
+ |  |           ‖  ‖
+ |  |           ‖  ‖
+ |  |  1-----3  ‖  ‖
+ |  |        ‖  ‖  ‖
+ |  |        ‖  ‖  ‖
+ 1  |        ‖  2  ‖
+    |        ‖     ‖
+    |        ‖     ‖
+    3========5-----3
+
+EOF
+  end
+end

data/spec/integration/geometry_problem_spec.rb

@@ -1,6 +1,6 @@
 describe "Geometry Problem" do
   let(:executable) { "#{__dir__}/../../examples/geometry_problem" }
-  it "can solve verbal arithmetic puzzles" do
+  it "can solve geometry problem" do
     expect(IO.popen(executable).read).to eq <<EOF
 * a.x = 0.0
 * a.y = (root-obj (+ (^ x 2) (- 300)) 1)

data/spec/integration/kakuro_spec.rb

@@ -0,0 +1,17 @@
+describe "Kakuro" do
+  let(:executable) { "#{__dir__}/../../examples/kakuro_solver" }
+  it "can solve kakuro puzzle" do
+    expect(IO.popen(executable).read.gsub(/ *$/, "")).to eq <<EOF
+  x     x     x   10/   24/   29/     x   11/   21/   10/
+  x   11/   19/24  [8]   [9]   [7]    /6   [2]   [3]   [1]
+  /31  [8]   [9]   [2]   [7]   [5]  10/20  [9]   [8]   [3]
+  /4   [1]   [3]  22/18  [8]   [9]   [1]  23/13  [9]   [4]
+  /18  [2]   [7]   [9]  24/26  [8]   [6]   [9]   [1]   [2]
+  x   19/   30/16  [7]   [9]  10/11  [3]   [8]  11/   20/
+  /34  [9]   [8]   [6]   [7]   [4]  23/23  [6]   [8]   [9]
+  /7   [1]   [6]   9/16  [8]   [2]   [6]   3/4   [1]   [3]
+  /24  [7]   [9]   [8]    /23  [3]   [9]   [1]   [2]   [8]
+  /10  [2]   [7]   [1]    /11  [1]   [8]   [2]    x     x
+EOF
+  end
+end

data/spec/integration/letter_connections_spec.rb

@@ -0,0 +1,17 @@
+describe "Letter Connections" do
+  let(:executable) { "#{__dir__}/../../examples/letter_connections_solver" }
+  it "can solve letter connections puzzle" do
+    expect(IO.popen(executable).read.gsub(/ *$/, "")).to eq <<EOF
+→k →k *K *J →f →f →f →f *F *E
+↑k ↓F →J ↑j ↑f →e →e →e →e ↑e
+↑k →f →f →f ↑f ↑e *G ←g ←g ←g
+↑k ←K →i *I →e ↑e →b →b ↓b ↑g
+→i →i ↑i →e ↑e →b ↑b ↓D ↓b ↑g
+↑I →E →e ↑e →b ↑b ↓d ←d *B ↑g
+↓h ←h ←h ←H ↑b ↓d ←d *C *D ↑g
+↓h →a →a *A ↑b ↓d →C ↑c ↑d ↑g
+↓h ↑A →h *H ↑b →d →d →d ↑d ↑g
+→h →h ↑h →B ↑b →G →g →g →g ↑g
+EOF
+  end
+end

data/spec/integration/selfref_spec.rb

@@ -1,6 +1,6 @@
 describe "Self-Referential Aptitude Test" do
   let(:executable) { "#{__dir__}/../../examples/selfref_solver" }
-  it "can solve minisudokus" do
+  it "can solve Self-Referential Aptitude Test" do
     expect(IO.popen(executable).read).to eq <<EOF
 Q 1: D
 Q 2: A

metadata

@@ -1,15 +1,29 @@
 --- !ruby/object:Gem::Specification
 name: z3
 version: !ruby/object:Gem::Version
-  version: 0.0.0
+  version: 0.0.20160221
 platform: ruby
 authors:
 - Tomasz Wegrzanowski
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-02-17 00:00:00.000000000 Z
-dependencies: []
+date: 2016-02-21 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: ffi
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 description: Ruby bindings for Z3 Constraint Solver
 email: Tomasz.Wegrzanowski@gmail.com
 executables: []
@@ -20,8 +34,11 @@ files:
 - examples/algebra_problems
 - examples/basic_int_math
 - examples/basic_logic
+- examples/bridges_solver
 - examples/geometry_problem
+- examples/kakuro_solver
 - examples/kinematics_problems
+- examples/letter_connections_solver
 - examples/light_up_solver
 - examples/minisudoku_solver
 - examples/selfref_solver
@@ -32,16 +49,21 @@ files:
 - lib/z3/context.rb
 - lib/z3/func_decl.rb
 - lib/z3/low_level.rb
+- lib/z3/low_level_auto.rb
 - lib/z3/model.rb
 - lib/z3/solver.rb
 - lib/z3/sort.rb
 - lib/z3/very_low_level.rb
+- lib/z3/very_low_level_auto.rb
 - spec/ast_spec.rb
 - spec/integration/algebra_problems_spec.rb
 - spec/integration/bagic_int_math_spec.rb
 - spec/integration/basic_logic_spec.rb
+- spec/integration/bridges_spec.rb
 - spec/integration/geometry_problem_spec.rb
+- spec/integration/kakuro_spec.rb
 - spec/integration/kinematics_problems_spec.rb
+- spec/integration/letter_connections_spec.rb
 - spec/integration/light_up_spec.rb
 - spec/integration/minisudoku_spec.rb
 - spec/integration/selfref_spec.rb