Contents

--- !ruby/object:Gem::Specification
name: ravensat
version: !ruby/object:Gem::Version
  version: 0.3.0
platform: ruby
authors:
- rikuto matsuda
autorequire:
bindir: exe
cert_chain: []
date: 2022-05-18 00:00:00.000000000 Z
dependencies: []
description:
email:
- [e-mail]
executables:
- ravensat
extensions: []
extra_rdoc_files: []
files:
- ".gitignore"
- ".rspec"
- ".ruby-version"
- Gemfile
- Gemfile.lock
- LICENSE.txt
- README.md
- Rakefile
- bin/console
- bin/setup
- 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/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/ravenclaw.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: []

Package Spec version

ravensat-0.3.0