GitHub repository: AI-Planning/docker-for-planners
Primary language: Dockerfile
Created: 2020-04-10T01:44:28Z
Description: Docker image that comes with many automated planners precompiled.