--- !ruby/object:Gem::Specification
name: ravensat
version: !ruby/object:Gem::Version
  version: 1.0.3
platform: ruby
authors:
- rikuto matsuda
autorequire:
bindir: exe
cert_chain: []
date: 2022-08-18 00:00:00.000000000 Z
dependencies: []
description:
email:
- p99y92og@s.okayama-u.ac.jp
executables:
- ravensat
extensions: []
extra_rdoc_files: []
files:
- ".github/workflows/main.yml"
- ".gitignore"
- ".rspec"
- ".ruby-version"
- Gemfile
- LICENSE.txt
- README.md
- Rakefile
- bin/console
- bin/setup
- docs/Arcteryx.html
- docs/Arcteryx/CNF.html
- docs/Ravensat.html
- docs/Ravensat/AndNode.html
- docs/Ravensat/Claw.html
- docs/Ravensat/DimacsDecoder.html
- docs/Ravensat/DimacsEncoder.html
- docs/Ravensat/Extension.html
- docs/Ravensat/Extension/BooleanVariable.html
- docs/Ravensat/Extension/Domain.html
- docs/Ravensat/Extension/IntegerVariable.html
- docs/Ravensat/Extension/UndefinedVariable.html
- docs/Ravensat/Extension/Variable.html
- docs/Ravensat/InitialNode.html
- docs/Ravensat/Node.html
- docs/Ravensat/NotNode.html
- docs/Ravensat/OprNode.html
- docs/Ravensat/OrNode.html
- docs/Ravensat/Solver.html
- docs/Ravensat/VarNode.html
- docs/_index.html
- docs/class_list.html
- docs/css/common.css
- docs/css/full_list.css
- docs/css/style.css
- docs/file.README.html
- docs/file_list.html
- docs/frames.html
- docs/index.html
- docs/js/app.js
- docs/js/full_list.js
- docs/js/jquery.js
- docs/method_list.html
- docs/top-level-namespace.html
- example/magic_square_3x3.rb
- exe/ravensat
- lib/arcteryx/arcteryx.rb
- lib/arcteryx/cnf.rb
- lib/ravensat.rb
- lib/ravensat/ast.rb
- lib/ravensat/ast/and_node.rb
- lib/ravensat/ast/initial_node.rb
- lib/ravensat/ast/node.rb
- lib/ravensat/ast/not_node.rb
- lib/ravensat/ast/opr_node.rb
- lib/ravensat/ast/or_node.rb
- lib/ravensat/ast/var_node.rb
- lib/ravensat/claw.rb
- lib/ravensat/dimacs.rb
- lib/ravensat/dimacs/dimacs_decoder.rb
- lib/ravensat/dimacs/dimacs_encoder.rb
- lib/ravensat/extension.rb
- lib/ravensat/extension/domain.rb
- lib/ravensat/extension/variable/boolean_variable.rb
- lib/ravensat/extension/variable/integer_variable.rb
- lib/ravensat/extension/variable/undefined_variable.rb
- lib/ravensat/extension/variable/variable.rb
- lib/ravensat/solver.rb
- lib/ravensat/version.rb
- ravensat.gemspec
homepage: https://github.com/matsuda0528/ravensat
licenses:
- MIT
metadata: {}
post_install_message:
rdoc_options: []
require_paths:
- lib
required_ruby_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: 2.4.0
required_rubygems_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
requirements: []
rubygems_version: 3.2.3
signing_key:
specification_version: 4
summary: An interface to the SAT solver for Ruby
test_files: []