GitHub repository: xBA5ED/docker-solc-z3
Primary language: Dockerfile
Created: 2023-03-02T21:38:04Z
Description: Dockerfile to build an image that has solc,z3 and foundry