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: []