Install Docker
docker build -t rl_ltl_pac .The docker image build takes around 15 mins on a 12-core CPU machine.
docker run -it -p 8081:8081 --rm rl_ltl_pacMake sure 8081 is unoccupied, or you can tweak 8081 to an unoccupied port
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Install Docker
docker build -t rl_ltl_pac .The docker image build takes around 15 mins on a 12-core CPU machine.
docker run -it -p 8081:8081 --rm rl_ltl_pacMake sure 8081 is unoccupied, or you can tweak 8081 to an unoccupied port