search

Deivitto / auditor-docker

https://hackmd.io/7zriwLB0SD6-3AUDv3pBBg?view
GNU General Public License v3.0
123 stars 11 forks source link

Update Dockerfile #47

Closed Deivitto closed 11 months ago

Deivitto commented 11 months ago

Commenting yices2 SMT Solver until I get it work in MacOs. Probably building from source as done https://github.com/Deivitto/auditor-docker/compare/main...abisuq:auditor-docker:main by abisuq