Docker image for running generators#5

Open

hectorpal wants to merge 3 commits intoAI-Planning:mainfrom

hectorpal:master

Commits on Nov 5, 2021

Option for building docker image that runs generators
Hector Palacios
committed
Merge pull request #1 from hectorpal/docker-file
Hector Palacios
authored

Commits on Oct 21, 2022

Merge branch 'AI-Planning:master' into master
hectorpal
authored