Contents

--- !ruby/object:Gem::Specification
name: ravensat
version: !ruby/object:Gem::Version
  version: 0.1.0
platform: ruby
authors:
- rikuto matsuda
autorequire:
bindir: exe
cert_chain: []
date: 2021-12-03 00:00:00.000000000 Z
dependencies: []
description:
email:
- [e-mail]
executables: []
extensions: []
extra_rdoc_files: []
files:
- ".gitignore"
- ".rspec"
- ".ruby-version"
- Gemfile
- Gemfile.lock
- LICENSE.txt
- README.md
- Rakefile
- bin/console
- bin/setup
- lib/arcteryx/arcteryx.rb
- lib/arcteryx/cnf.rb
- lib/ravensat.rb
- lib/ravensat/prop_logic.rb
- lib/ravensat/prop_var.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.1.0