1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
GEM
  remote: https://rubygems.org/
  specs:
    ffi (1.15.0)
    z3 (0.0.20181229)
      ffi (~> 1.9)

PLATFORMS
  x86_64-darwin-17

DEPENDENCIES
  z3

BUNDLED WITH
   2.2.16