# -*- encoding: utf-8 -*-
# stub: prop_logic-minisat 0.2.0 ruby lib

Gem::Specification.new do |s|
  s.name = "prop_logic-minisat".freeze
  s.version = "0.2.0".freeze

  s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version=
  s.require_paths = ["lib".freeze]
  s.authors = ["Jkr2255".freeze]
  s.bindir = "exe".freeze
  s.date = "2016-03-27"
  s.email = ["magnesium.oxide.play@gmail.com".freeze]
  s.files = [".gitignore".freeze, ".rspec".freeze, ".travis.yml".freeze, "CHANGELOG.md".freeze, "Gemfile".freeze, "LICENSE.txt".freeze, "README.md".freeze, "Rakefile".freeze, "bin/console".freeze, "bin/setup".freeze, "lib/prop_logic/minisat.rb".freeze, "lib/prop_logic/minisat/incremental_solver.rb".freeze, "lib/prop_logic/minisat/version.rb".freeze, "prop_logic-minisat.gemspec".freeze]
  s.homepage = "https://github.com/jkr2255/prop_logic-minisat".freeze
  s.licenses = ["MIT".freeze]
  s.required_ruby_version = Gem::Requirement.new(">= 2.0.0".freeze)
  s.rubygems_version = "3.5.10".freeze
  s.summary = "Minisat binding for PropLogic".freeze

  s.specification_version = 4

  s.add_runtime_dependency(%q<prop_logic>.freeze, [">= 0.2.0".freeze])
  s.add_runtime_dependency(%q<ruby-minisat>.freeze, [">= 2.2.0".freeze])
  s.add_development_dependency(%q<bundler>.freeze, ["~> 1.11".freeze])
  s.add_development_dependency(%q<rake>.freeze, ["~> 10.0".freeze])
  s.add_development_dependency(%q<rspec>.freeze, ["~> 3.0".freeze])
end