GitHub repository: kim0/gecode-docker
Created: 2015-03-05T17:52:06Z
Description: Gecode docker container