Skip to content

planimation/plugin-deployment-fork

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 

Repository files navigation

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

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • JavaScript 100.0%