Sha256: 6c2a95ea74875d12635931e2c1343cdc0190935dffa15e9ede7aebb1d3d1ab3a

Contents?: true

Size: 1.44 KB

Versions: 0

Compression: gzip

Compressed size: 631 Bytes

Stored size: 631 Bytes

Contents

--- !ruby/object:Gem::Specification
name: ravensat
version: !ruby/object:Gem::Version
  version: 0.2.1
platform: ruby
authors:
- rikuto matsuda
autorequire:
bindir: exe
cert_chain: []
date: 2022-05-16 00:00:00.000000000 Z
dependencies: []
description:
email:
- p99y92og@s.okayama-u.ac.jp
executables: []
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
- lib/arcteryx/arcteryx.rb
- lib/arcteryx/cnf.rb
- lib/ravensat.rb
- lib/ravensat/ast/and_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_decoder.rb
- lib/ravensat/dimacs_encoder.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.2.1