Gemfile.lock

GIT
  remote: https://github.com/mieko/ruby-minisat
  revision: 81fb144436c92e6e0302ea00706a5eb0df7fcb79
  branch: clang-fixes
  specs:
    ruby-minisat (2.2.0)

GEM
  remote: https://rubygems.org/
  specs:
    activemodel (5.0.2)
      activesupport (= 5.0.2)
    activesupport (5.0.2)
      concurrent-ruby (~> 1.0, >= 1.0.2)
      i18n (~> 0.7)
      minitest (~> 5.1)
      tzinfo (~> 1.1)
    backports (3.7.0)
    concurrent-ruby (1.0.5)
    daru (0.1.5)
      backports
    distribution (0.7.3)
    gnuplotrb (0.3.4)
      hamster (~> 3.0)
    hamster (3.0.0)
      concurrent-ruby (~> 1.0)
    i18n (0.8.1)
    minitest (5.10.1)
    plotrb (0.0.1)
      activemodel
      yajl-ruby
    rack (1.6.5)
    rack-protection (1.5.3)
      rack
    rubyvis (0.6.1)
    sciruby (0.2.11)
    sinatra (1.4.8)
      rack (~> 1.5)
      rack-protection (~> 1.4)
      tilt (>= 1.3, < 3)
    slim (3.0.7)
      temple (~> 0.7.6)
      tilt (>= 1.3.3, < 2.1)
    smarter_csv (1.1.4)
    temple (0.7.7)
    text (1.3.1)
    thread_safe (0.3.6)
    tilt (2.0.7)
    tzinfo (1.2.3)
      thread_safe (~> 0.1)
    yajl-ruby (1.3.0)

PLATFORMS
  ruby

DEPENDENCIES
  daru (~> 0.1.5)
  distribution
  gnuplotrb
  plotrb
  ruby-minisat!
  rubyvis
  sciruby
  sinatra
  slim
  smarter_csv
  text

BUNDLED WITH
   1.14.6