phlummox/carnap-docker

docker image for carnap

Dockerfile