search

AI-Planning / planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.
MIT License
106 stars 31 forks source link

smtplan: remote has no library client #90

Closed bhomaidan1990 closed 2 years ago

bhomaidan1990 commented 2 years ago

I'm using the Docker Image from the Docker Hub as mentioned here, I tried to use the smtplan planner and I have got this error:

(planutils) root@104582ad0e5f:~$ smtplan 

Package not installed!
  Download & install? [Y/n] Y
smtplan will be installed.

About to install the following packages: smtplan (148M)
  Proceed? [Y/n] Y
Installing smtplan...
FATAL:   Unable to get library client configuration: remote has no library client

Error installing smtplan. Rolling back changes...
rm: cannot remove 'smtplan.sif': No such file or directory

This issue didn't appear with optic planner for example. can you please help me resolve this issue? thanks in advance.

haz commented 2 years ago

Ya, this is a known issue with where it's hosted. #86 is the place to follow along.