tensai-pddl 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 656de1e21b48f9cd4f08f543a560b100843d961e8b42e1de12c316e3d43fee3b
+  data.tar.gz: 42afe95ca8181fe9df774e9c34cff77481cb27dbbce11cd550a43a0b198aa9bf
+SHA512:
+  metadata.gz: e21589ea710340d1b0b34186ea6883e9bf103eeae5bb595a0467254424b4ebbd5d3e25071e27eda6ee2039b5598af14e5b02fc766830df7cb0d465c0380c62de
+  data.tar.gz: e04e7bd5d756b14b247ebb82b92e2170837c0d783e7e522d5da4317a64d7d3354de18593822c1902636579bf9285efca7aaa43759550ad9509a2b24f09a0e16c

data/.gitignore

@@ -0,0 +1,53 @@
+*.gem
+*.rbc
+/.config
+/coverage/
+/InstalledFiles
+/pkg/
+/spec/reports/
+/spec/examples.txt
+/test/tmp/
+/test/version_tmp/
+/tmp/
+
+# Used by dotenv library to load environment variables.
+# .env
+
+## Specific to RubyMotion:
+.dat*
+.repl_history
+build/
+*.bridgesupport
+build-iPhoneOS/
+build-iPhoneSimulator/
+
+## Specific to RubyMotion (use of CocoaPods):
+#
+# We recommend against adding the Pods directory to your .gitignore. However
+# you should judge for yourself, the pros and cons are mentioned at:
+# https://guides.cocoapods.org/using/using-cocoapods.html#should-i-check-the-pods-directory-into-source-control
+#
+# vendor/Pods/
+
+## Documentation cache and generated files:
+/.yardoc/
+/_yardoc/
+/doc/
+/rdoc/
+
+## Environment normalization:
+/.bundle/
+/vendor/bundle
+/lib/bundler/man/
+
+# for a library or gem, you might want to ignore these files since the code is
+# intended to run in multiple environments; otherwise, check them in:
+# Gemfile.lock
+.ruby-version
+# .ruby-gemset
+
+# unless supporting rvm < 1.11.0 or doing something fancy, ignore this:
+.rvmrc
+
+# RSpec
+.rspec_status

data/.rubocop.yml

@@ -0,0 +1,19 @@
+Style/Lambda:
+  Enabled: false
+
+Metrics/LineLength:
+  Max: 136
+
+Metrics/BlockLength:
+  Exclude:
+    - spec/**/*
+
+Style/BlockDelimiters:
+  Exclude:
+    - spec/**/*
+
+Layout/MultilineArrayLineBreaks:
+  Enabled: True
+
+Style/ClassAndModuleChildren:
+  Enabled: False

data/CODE_OF_CONDUCT.md

@@ -0,0 +1,74 @@
+# Contributor Covenant Code of Conduct
+
+## Our Pledge
+
+In the interest of fostering an open and welcoming environment, we as
+contributors and maintainers pledge to making participation in our project and
+our community a harassment-free experience for everyone, regardless of age, body
+size, disability, ethnicity, gender identity and expression, level of experience,
+nationality, personal appearance, race, religion, or sexual identity and
+orientation.
+
+## Our Standards
+
+Examples of behavior that contributes to creating a positive environment
+include:
+
+* Using welcoming and inclusive language
+* Being respectful of differing viewpoints and experiences
+* Gracefully accepting constructive criticism
+* Focusing on what is best for the community
+* Showing empathy towards other community members
+
+Examples of unacceptable behavior by participants include:
+
+* The use of sexualized language or imagery and unwelcome sexual attention or
+advances
+* Trolling, insulting/derogatory comments, and personal or political attacks
+* Public or private harassment
+* Publishing others' private information, such as a physical or electronic
+  address, without explicit permission
+* Other conduct which could reasonably be considered inappropriate in a
+  professional setting
+
+## Our Responsibilities
+
+Project maintainers are responsible for clarifying the standards of acceptable
+behavior and are expected to take appropriate and fair corrective action in
+response to any instances of unacceptable behavior.
+
+Project maintainers have the right and responsibility to remove, edit, or
+reject comments, commits, code, wiki edits, issues, and other contributions
+that are not aligned to this Code of Conduct, or to ban temporarily or
+permanently any contributor for other behaviors that they deem inappropriate,
+threatening, offensive, or harmful.
+
+## Scope
+
+This Code of Conduct applies both within project spaces and in public spaces
+when an individual is representing the project or its community. Examples of
+representing a project or community include using an official project e-mail
+address, posting via an official social media account, or acting as an appointed
+representative at an online or offline event. Representation of a project may be
+further defined and clarified by project maintainers.
+
+## Enforcement
+
+Instances of abusive, harassing, or otherwise unacceptable behavior may be
+reported by contacting the project team at kfischer_okarin@yahoo.co.jp. All
+complaints will be reviewed and investigated and will result in a response that
+is deemed necessary and appropriate to the circumstances. The project team is
+obligated to maintain confidentiality with regard to the reporter of an incident.
+Further details of specific enforcement policies may be posted separately.
+
+Project maintainers who do not follow or enforce the Code of Conduct in good
+faith may face temporary or permanent repercussions as determined by other
+members of the project's leadership.
+
+## Attribution
+
+This Code of Conduct is adapted from the [Contributor Covenant][homepage], version 1.4,
+available at [http://contributor-covenant.org/version/1/4][version]
+
+[homepage]: http://contributor-covenant.org
+[version]: http://contributor-covenant.org/version/1/4/

data/Gemfile

@@ -0,0 +1,17 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in tensai-pddl.gemspec
+gemspec
+
+group :development do
+  gem 'rake', '~> 10.0'
+end
+
+group :development, :test do
+  gem 'rspec', '~> 3.0'
+  gem 'rubocop', '~> 0.74'
+  gem 'rubocop-rspec', '~> 1.35'
+  gem 'guard', '~> 2.15'
+  gem 'guard-rspec', '~> 4.7'
+  gem 'pry-byebug', '~> 3.7'
+end

data/Gemfile.lock

@@ -0,0 +1,121 @@
+PATH
+  remote: .
+  specs:
+    tensai-pddl (0.1.0)
+      dry-initializer (~> 3.0)
+      dry-types (~> 1.1)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    ast (2.4.0)
+    byebug (11.0.1)
+    coderay (1.1.2)
+    concurrent-ruby (1.1.5)
+    diff-lcs (1.3)
+    dry-configurable (0.8.3)
+      concurrent-ruby (~> 1.0)
+      dry-core (~> 0.4, >= 0.4.7)
+    dry-container (0.7.2)
+      concurrent-ruby (~> 1.0)
+      dry-configurable (~> 0.1, >= 0.1.3)
+    dry-core (0.4.9)
+      concurrent-ruby (~> 1.0)
+    dry-equalizer (0.2.2)
+    dry-inflector (0.1.2)
+    dry-initializer (3.0.1)
+    dry-logic (1.0.3)
+      concurrent-ruby (~> 1.0)
+      dry-core (~> 0.2)
+      dry-equalizer (~> 0.2)
+    dry-types (1.1.1)
+      concurrent-ruby (~> 1.0)
+      dry-container (~> 0.3)
+      dry-core (~> 0.4, >= 0.4.4)
+      dry-equalizer (~> 0.2, >= 0.2.2)
+      dry-inflector (~> 0.1, >= 0.1.2)
+      dry-logic (~> 1.0, >= 1.0.2)
+    ffi (1.11.1)
+    formatador (0.2.5)
+    guard (2.15.0)
+      formatador (>= 0.2.4)
+      listen (>= 2.7, < 4.0)
+      lumberjack (>= 1.0.12, < 2.0)
+      nenv (~> 0.1)
+      notiffany (~> 0.0)
+      pry (>= 0.9.12)
+      shellany (~> 0.0)
+      thor (>= 0.18.1)
+    guard-compat (1.2.1)
+    guard-rspec (4.7.3)
+      guard (~> 2.1)
+      guard-compat (~> 1.1)
+      rspec (>= 2.99.0, < 4.0)
+    jaro_winkler (1.5.3)
+    listen (3.1.5)
+      rb-fsevent (~> 0.9, >= 0.9.4)
+      rb-inotify (~> 0.9, >= 0.9.7)
+      ruby_dep (~> 1.2)
+    lumberjack (1.0.13)
+    method_source (0.9.2)
+    nenv (0.3.0)
+    notiffany (0.1.3)
+      nenv (~> 0.1)
+      shellany (~> 0.0)
+    parallel (1.17.0)
+    parser (2.6.3.0)
+      ast (~> 2.4.0)
+    pry (0.12.2)
+      coderay (~> 1.1.0)
+      method_source (~> 0.9.0)
+    pry-byebug (3.7.0)
+      byebug (~> 11.0)
+      pry (~> 0.10)
+    rainbow (3.0.0)
+    rake (10.5.0)
+    rb-fsevent (0.10.3)
+    rb-inotify (0.10.0)
+      ffi (~> 1.0)
+    rspec (3.8.0)
+      rspec-core (~> 3.8.0)
+      rspec-expectations (~> 3.8.0)
+      rspec-mocks (~> 3.8.0)
+    rspec-core (3.8.2)
+      rspec-support (~> 3.8.0)
+    rspec-expectations (3.8.4)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-mocks (3.8.1)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-support (3.8.2)
+    rubocop (0.74.0)
+      jaro_winkler (~> 1.5.1)
+      parallel (~> 1.10)
+      parser (>= 2.6)
+      rainbow (>= 2.2.2, < 4.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 1.4.0, < 1.7)
+    rubocop-rspec (1.35.0)
+      rubocop (>= 0.60.0)
+    ruby-progressbar (1.10.1)
+    ruby_dep (1.5.0)
+    shellany (0.0.1)
+    thor (0.20.3)
+    unicode-display_width (1.6.0)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  guard (~> 2.15)
+  guard-rspec (~> 4.7)
+  pry-byebug (~> 3.7)
+  rake (~> 10.0)
+  rspec (~> 3.0)
+  rubocop (~> 0.74)
+  rubocop-rspec (~> 1.35)
+  tensai-pddl!
+
+BUNDLED WITH
+   2.0.1

data/Guardfile

@@ -0,0 +1,38 @@
+# frozen_string_literal: true
+
+## Uncomment and set this to only include directories you want to watch
+# directories %w(app lib config test spec features) \
+#  .select{|d| Dir.exist?(d) ? d : UI.warning("Directory #{d} does not exist")}
+
+## Note: if you are using the `directories` clause above and you are not
+## watching the project directory ('.'), then you will want to move
+## the Guardfile to a watched dir and symlink it back, e.g.
+#
+#  $ mkdir config
+#  $ mv Guardfile config/
+#  $ ln -s config/Guardfile .
+#
+# and, you'll have to watch "config/Guardfile" instead of "Guardfile"
+
+# Note: The cmd option is now required due to the increasing number of ways
+#       rspec may be run, below are examples of the most common uses.
+#  * bundler: 'bundle exec rspec'
+#  * bundler binstubs: 'bin/rspec'
+#  * spring: 'bin/rspec' (This will use spring if running and you have
+#                          installed the spring binstubs per the docs)
+#  * zeus: 'zeus rspec' (requires the server to be started separately)
+#  * 'just' rspec: 'rspec'
+
+guard :rspec, cmd: 'bundle exec rspec' do
+  require 'guard/rspec/dsl'
+  dsl = Guard::RSpec::Dsl.new(self)
+
+  rspec = dsl.rspec
+  watch(rspec.spec_helper) { rspec.spec_dir }
+  watch(rspec.spec_support) { rspec.spec_dir }
+  watch(rspec.spec_files)
+
+  # Ruby files
+  ruby = dsl.ruby
+  dsl.watch_spec_files_for(ruby.lib_files)
+end

data/LICENSE.md

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2019 Kevin Fischer
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,42 @@
+# Tensai PDDL
+
+Ruby implementation and DSL for PDDL (Planning Domain Definition Language).
+Part of the Tensai symbolic AI framework.
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'ruby_pddl'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install ruby_pddl
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/kfischer-okarin/tensai-pddl. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [Contributor Covenant](http://contributor-covenant.org) code of conduct.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).
+
+## Code of Conduct
+
+Everyone interacting in the Ruby PDDL project’s codebases, issue trackers, chat rooms and mailing lists is expected to follow the [code of conduct](https://github.com/kfischer-okarin/tensai-pddl/blob/master/CODE_OF_CONDUCT.md).

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/bin/console

@@ -0,0 +1,15 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require 'bundler/setup'
+require 'ruby_pddl'
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require 'irb'
+IRB.start(__FILE__)

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/lib/tensai/pddl.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+require 'tensai/pddl/action'
+require 'tensai/pddl/domain'
+require 'tensai/pddl/entity'
+require 'tensai/pddl/predicate'
+require 'tensai/pddl/variable'
+require 'tensai/pddl/version'
+
+module Tensai
+  module Pddl
+  end
+end

data/lib/tensai/pddl/action.rb

@@ -0,0 +1,3 @@
+# frozen_string_literal: true
+
+require 'tensai/pddl/action/strips'

data/lib/tensai/pddl/action/strips.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+require 'dry-initializer'
+
+require 'tensai/pddl/atomic_formula'
+require 'tensai/pddl/data_types'
+require 'tensai/pddl/data_types/variable_list'
+require 'tensai/pddl/variable'
+
+module Tensai::Pddl
+  module Action
+    # STRIPS-style action
+    class Strips
+      include Dry::Initializer.define -> do
+        param :name, type: DataTypes::Name
+        option :parameters, type: DataTypes::VariableList, default: -> { [] }
+      end
+    end
+  end
+end

data/lib/tensai/pddl/atomic_formula.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+require 'set'
+require 'dry-initializer'
+
+require 'tensai/pddl/data_types'
+require 'tensai/pddl/data_types/terms'
+require 'tensai/pddl/predicate'
+
+module Tensai::Pddl
+  # Atomic formula in a planning domain
+  class AtomicFormula
+    include Dry::Initializer.define -> do
+      param :predicate, type: DataTypes::InstanceOf(Predicate)
+      param :terms, type: DataTypes::Terms
+    end
+
+    def initialize(predicate, terms)
+      super predicate, terms
+
+      raise ArgumentError, 'Unknown Terms' if terms.keys.any? { |k| !predicate.variables.key?(k) }
+
+      predicate.variables.each do |var|
+        self.terms[var.name] = var unless terms.key? var.name
+      end
+      self.terms.freeze
+    end
+
+    def bind(values)
+      AtomicFormula.new(predicate, terms.merge(values))
+    end
+  end
+end

data/lib/tensai/pddl/data_structures.rb

@@ -0,0 +1,45 @@
+# frozen_string_literal: true
+
+require 'forwardable'
+
+require 'dry-types'
+
+require 'tensai/pddl/data_types/base'
+
+module Tensai::Pddl
+  # Typed collection of named elements
+  class NamedList
+    extend Forwardable
+    include Enumerable
+
+    def initialize(type, elements)
+      @type = DataTypes::Base.Instance(type)
+      elements.each { |el| add el }
+    end
+
+    include Dry::Initializer.define -> do
+      param :type, type: DataTypes::Base::Instance(Class)
+    end
+
+    def_delegators :elements, :keys, :key?, :[]
+
+    def each
+      elements.values.each { |el| yield el }
+    end
+
+    private
+
+    attr_accessor :type
+
+    def add(added)
+      type[added]
+      raise "Element named '#{added.name}' already contained" if elements.key? added.name
+
+      elements[added.name] = added
+    end
+
+    def elements
+      @elements ||= {}
+    end
+  end
+end

data/lib/tensai/pddl/data_types.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+require 'dry-types'
+
+require 'tensai/pddl/data_types/base'
+require 'tensai/pddl/data_structures'
+
+# rubocop:disable Naming/MethodName
+module Tensai::Pddl
+  # Types for argument validations
+  module DataTypes
+    Name = Base::String
+           .constrained(format: /^[a-z][a-z\d\-_]*$/)
+           .constructor(&:to_s)
+
+    module_function
+
+    def InstanceOf(type)
+      Base::Instance(type)
+    end
+
+    def ListOf(type)
+      InstanceOf(NamedList)
+        .constructor(->(elements) { NamedList.new(type, elements) })
+    end
+  end
+end
+# rubocop:enable Naming/MethodName

data/lib/tensai/pddl/data_types/base.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+require 'dry-types'
+
+module Tensai::Pddl
+  # Types for argument validations
+  module DataTypes
+    # Base Types from dry-types
+    module Base
+      include Dry.Types()
+    end
+  end
+end

data/lib/tensai/pddl/data_types/terms.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+require 'dry-types'
+
+require 'tensai/pddl/entity'
+require 'tensai/pddl/variable'
+
+module Tensai::Pddl
+  module DataTypes
+    Term = Base::Instance(Entity) | Base::Instance(Variable)
+    Terms = Base::Hash.map(Name, Term)
+  end
+end

data/lib/tensai/pddl/data_types/variable_list.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require 'dry-types'
+
+require 'tensai/pddl/data_types'
+require 'tensai/pddl/variable'
+
+module Tensai::Pddl
+  module DataTypes
+    VariableList = ListOf(Variable)
+  end
+end

data/lib/tensai/pddl/domain.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+require 'dry-initializer'
+
+require 'tensai/pddl/data_types'
+
+module Tensai::Pddl
+  # Planning Domain
+  class Domain
+    include Dry::Initializer.define -> do
+      param :name, type: DataTypes::Name
+    end
+  end
+end

data/lib/tensai/pddl/entity.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+require 'dry-initializer'
+
+require 'tensai/pddl/data_types'
+
+module Tensai::Pddl
+  # Entity in the planning domain (PDDL constant/object)
+  class Entity
+    include Dry::Initializer.define -> do
+      param :name, type: DataTypes::Name
+    end
+  end
+end

data/lib/tensai/pddl/predicate.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require 'dry-initializer'
+
+require 'tensai/pddl/data_types'
+require 'tensai/pddl/data_types/variable_list'
+
+module Tensai::Pddl
+  # Predicate in a planning domain
+  class Predicate
+    include Dry::Initializer.define -> do
+      param :name, type: DataTypes::Name
+      option :variables, type: DataTypes::VariableList, default: -> { [] }
+    end
+
+    # TODO: Remove once dry-initializer fixes check of unknown positional elements
+    def initialize(name, **options)
+      super name, **options
+    end
+  end
+end

data/lib/tensai/pddl/variable.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+require 'dry-initializer'
+
+require 'tensai/pddl/data_types'
+
+module Tensai::Pddl
+  # Variable in a atomic formula skeleton
+  class Variable
+    include Dry::Initializer.define -> do
+      param :name, type: DataTypes::Name
+    end
+  end
+end

data/lib/tensai/pddl/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Tensai
+  module Pddl
+    VERSION = '0.1.0'
+  end
+end

data/tensai-pddl.gemspec

@@ -0,0 +1,36 @@
+# frozen_string_literal: true
+
+lib = File.expand_path('lib', __dir__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'tensai/pddl/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = 'tensai-pddl'
+  spec.version       = Tensai::Pddl::VERSION
+  spec.authors       = ['Kevin Fischer']
+  spec.email         = ['kfischer_okarin@yahoo.co.jp']
+
+  spec.summary       = 'Ruby implementation and DSL for PDDL (Planning Domain Definition Language)'
+  spec.homepage      = 'https://github.com/kfischer-okarin/tensai-pddl'
+  spec.license       = 'MIT'
+
+  if spec.respond_to?(:metadata)
+    spec.metadata['homepage_uri'] = spec.homepage
+    spec.metadata['source_code_uri'] = 'https://github.com/kfischer-okarin/tensai-pddl'
+    # spec.metadata['changelog_uri'] = 'https://github.com/kfischer-okarin/tensai-pddl/CHANGELOG.md'
+  else
+    raise 'RubyGems 2.0 or newer is required to protect against public gem pushes.'
+  end
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files = Dir.chdir(File.expand_path(__dir__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = 'exe'
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ['lib']
+
+  spec.add_dependency 'dry-initializer', '~> 3.0'
+  spec.add_dependency 'dry-types', '~> 1.1'
+end

metadata

@@ -0,0 +1,100 @@
+--- !ruby/object:Gem::Specification
+name: tensai-pddl
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Kevin Fischer
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2019-08-27 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: dry-initializer
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: dry-types
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+description: 
+email:
+- kfischer_okarin@yahoo.co.jp
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rubocop.yml"
+- CODE_OF_CONDUCT.md
+- Gemfile
+- Gemfile.lock
+- Guardfile
+- LICENSE.md
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/tensai/pddl.rb
+- lib/tensai/pddl/action.rb
+- lib/tensai/pddl/action/strips.rb
+- lib/tensai/pddl/atomic_formula.rb
+- lib/tensai/pddl/data_structures.rb
+- lib/tensai/pddl/data_types.rb
+- lib/tensai/pddl/data_types/base.rb
+- lib/tensai/pddl/data_types/terms.rb
+- lib/tensai/pddl/data_types/variable_list.rb
+- lib/tensai/pddl/domain.rb
+- lib/tensai/pddl/entity.rb
+- lib/tensai/pddl/predicate.rb
+- lib/tensai/pddl/variable.rb
+- lib/tensai/pddl/version.rb
+- tensai-pddl.gemspec
+homepage: https://github.com/kfischer-okarin/tensai-pddl
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/kfischer-okarin/tensai-pddl
+  source_code_uri: https://github.com/kfischer-okarin/tensai-pddl
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.6
+signing_key: 
+specification_version: 4
+summary: Ruby implementation and DSL for PDDL (Planning Domain Definition Language)
+test_files: []