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

Gem::Specification.new do |s|
  s.name = "ravensat".freeze
  s.version = "0.3.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 = ["rikuto matsuda".freeze]
  s.bindir = "exe".freeze
  s.date = "2022-05-18"
  s.email = ["p99y92og@s.okayama-u.ac.jp".freeze]
  s.executables = ["ravensat".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, "example/magic_square_3x3.rb".freeze, "exe/ravensat".freeze, "lib/arcteryx/arcteryx.rb".freeze, "lib/arcteryx/cnf.rb".freeze, "lib/ravensat.rb".freeze, "lib/ravensat/ast.rb".freeze, "lib/ravensat/ast/and_node.rb".freeze, "lib/ravensat/ast/initial_node.rb".freeze, "lib/ravensat/ast/node.rb".freeze, "lib/ravensat/ast/not_node.rb".freeze, "lib/ravensat/ast/opr_node.rb".freeze, "lib/ravensat/ast/or_node.rb".freeze, "lib/ravensat/ast/var_node.rb".freeze, "lib/ravensat/dimacs.rb".freeze, "lib/ravensat/dimacs/dimacs_decoder.rb".freeze, "lib/ravensat/dimacs/dimacs_encoder.rb".freeze, "lib/ravensat/extension.rb".freeze, "lib/ravensat/extension/domain.rb".freeze, "lib/ravensat/extension/variable/boolean_variable.rb".freeze, "lib/ravensat/extension/variable/integer_variable.rb".freeze, "lib/ravensat/extension/variable/undefined_variable.rb".freeze, "lib/ravensat/extension/variable/variable.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