AI-Planning / planimation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

editor.planning.domains plugin

This folder contains the plugin for http://editor.planning.domains.

Functionality

How to use this plugin

  1. Go to http://editor.planning.domains
  2. Click plugin button on the top menu and install Planimation
  3. Click Planimation button on the top menu to start Planimation
  4. Upload Domain, Problem, and Animation PDDL to animate the plan

Any feedback, bug reports, comments, questions, or concerns can be sent to Nir Lipovetzky, or the issues tracker.

About


Languages

Language:JavaScript 100.0%