Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to get the executable? #88

Closed
Radu-Sebastian opened this issue Dec 20, 2020 · 4 comments
Closed

How to get the executable? #88

Radu-Sebastian opened this issue Dec 20, 2020 · 4 comments

Comments

@Radu-Sebastian
Copy link

The default planner on http://editor.planning.domains/ doesn't support numerical fluents or durative actions and I want to configure and set a new planner but I can't find the executable you showed in your Configuring the PDDL planner post in that gif. I have downloaded both LPG and POPF2 planners but I can't find any executable

@jan-dolejsi
Copy link
Owner

That is indeed a usual problem. I understand the executables are usually shared within universities. There is also a great effort around http://solver.planning.domains/ to support multitude of hosted planners, including planners with temporal capabilities. Best to find out about it would be on the Slack channel advertised here: https://planning.wiki/
Even better is the other initiative Christian Muise initiated: to have planner binaries available as Singularity images. That way you could run them on your computer (on Linux, Mac, or on the Windows Subsystem for Linux).

@haz
Copy link

haz commented Jan 13, 2021

Aye, once the project takes off, we should be able to hot-swap the planner used on the remote side. The relevant projects are...

Project has stalled a bit, but hopefully we'll have a cohort of students hopping on board soon to get it across the finish line.

@H-Louadah
Copy link

@Radu-Sebastian

I have installed a Linux vm and added the POPF2
No excecutable or jar for popf, and to be honest, even POPF is limited, no negative conditions, no numerical conditions.....

@jan-dolejsi
Copy link
Owner

Sounds like we can close this. Let us know otherwise, or use the slack channel.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants