# -*- encoding: utf-8 -*-
# stub: ravensat 0.1.1 ruby lib

Gem::Specification.new do |s|
  s.name = "ravensat".freeze
  s.version = "0.1.1".freeze

  s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version=
  s.require_paths = ["lib".freeze]
  s.authors = ["rikuto matsuda".freeze]
  s.bindir = "exe".freeze
  s.date = "2021-12-16"
  s.email = ["p99y92og@s.okayama-u.ac.jp".freeze]
  s.files = [".gitignore".freeze, ".rspec".freeze, ".ruby-version".freeze, "Gemfile".freeze, "Gemfile.lock".freeze, "LICENSE.txt".freeze, "README.md".freeze, "Rakefile".freeze, "bin/console".freeze, "bin/setup".freeze, "lib/arcteryx/arcteryx.rb".freeze, "lib/arcteryx/cnf.rb".freeze, "lib/ravensat.rb".freeze, "lib/ravensat/prop_logic.rb".freeze, "lib/ravensat/prop_var.rb".freeze, "lib/ravensat/ravenclaw.rb".freeze, "lib/ravensat/solver.rb".freeze, "lib/ravensat/version.rb".freeze, "ravensat.gemspec".freeze]
  s.homepage = "https://github.com/matsuda0528/ravensat".freeze
  s.licenses = ["MIT".freeze]
  s.required_ruby_version = Gem::Requirement.new(">= 2.4.0".freeze)
  s.rubygems_version = "3.5.10".freeze
  s.summary = "An interface to the SAT solver for Ruby".freeze
end