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

Gem::Specification.new do |s|
  s.name = "ravensat".freeze
  s.version = "1.0.2".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-07-29"
  s.email = ["p99y92og@s.okayama-u.ac.jp".freeze]
  s.executables = ["ravensat".freeze]
  s.files = [".github/workflows/main.yml".freeze, ".gitignore".freeze, ".rspec".freeze, ".ruby-version".freeze, "Gemfile".freeze, "LICENSE.txt".freeze, "README.md".freeze, "Rakefile".freeze, "bin/console".freeze, "bin/setup".freeze, "docs/Arcteryx.html".freeze, "docs/Arcteryx/CNF.html".freeze, "docs/Ravensat.html".freeze, "docs/Ravensat/AndNode.html".freeze, "docs/Ravensat/Claw.html".freeze, "docs/Ravensat/DimacsDecoder.html".freeze, "docs/Ravensat/DimacsEncoder.html".freeze, "docs/Ravensat/Extension.html".freeze, "docs/Ravensat/Extension/BooleanVariable.html".freeze, "docs/Ravensat/Extension/Domain.html".freeze, "docs/Ravensat/Extension/IntegerVariable.html".freeze, "docs/Ravensat/Extension/UndefinedVariable.html".freeze, "docs/Ravensat/Extension/Variable.html".freeze, "docs/Ravensat/InitialNode.html".freeze, "docs/Ravensat/Node.html".freeze, "docs/Ravensat/NotNode.html".freeze, "docs/Ravensat/OprNode.html".freeze, "docs/Ravensat/OrNode.html".freeze, "docs/Ravensat/Solver.html".freeze, "docs/Ravensat/VarNode.html".freeze, "docs/_index.html".freeze, "docs/class_list.html".freeze, "docs/css/common.css".freeze, "docs/css/full_list.css".freeze, "docs/css/style.css".freeze, "docs/file.README.html".freeze, "docs/file_list.html".freeze, "docs/frames.html".freeze, "docs/index.html".freeze, "docs/js/app.js".freeze, "docs/js/full_list.js".freeze, "docs/js/jquery.js".freeze, "docs/method_list.html".freeze, "docs/top-level-namespace.html".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/claw.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/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