GitHub repository: pysmt/pysmt-docker
Primary language: Shell
Created: 2015-07-16T15:21:35Z
Description: Dockerfile for PySMT