{"owner":"Z3Prover","repo":"z3","hasDocker":false,"message":"No explicit docker-compose.yml, compose.yaml, or Dockerfile was located in Z3Prover/z3."}