Skip to content

Commit

Permalink
Merge pull request #74 from FlorianPommerening/machetli
Browse files Browse the repository at this point in the history
Add package for machetli
  • Loading branch information
haz authored May 24, 2022
2 parents d62b4d2 + 4b1d4a6 commit 660f36c
Show file tree
Hide file tree
Showing 3 changed files with 14 additions and 0 deletions.
5 changes: 5 additions & 0 deletions planutils/packages/machetli/install
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
#!/bin/bash

# General setup / configuration
pip3 install machetli

6 changes: 6 additions & 0 deletions planutils/packages/machetli/manifest.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
{
"name": "Machetli",
"description": "Machetli is a Python package for reproducing characteristics of a program (such as bugs) with modified instances. It is meant to be helpful for debugging complex programs and narrowing down where specific behaviors are caused. Currently, Machetli handles instances for automated planners, specified either in PDDL or in the SAS+ format used by Fast Downward but adding support for other file formats is easy.",
"install-size": "3MB",
"dependencies": []
}
3 changes: 3 additions & 0 deletions planutils/packages/machetli/uninstall
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/bin/bash

pip3 uninstall machetli

0 comments on commit 660f36c

Please sign in to comment.