search

hdl / containers

Building and deploying container images for open source electronic design automation (EDA)
https://hdl.github.io/containers/
Apache License 2.0
107 stars 24 forks source link

Add yices2 #5

Closed tmeissner closed 3 years ago

tmeissner commented 3 years ago

This is a WIP, as I'm not a professional in using Docker.

tmeissner commented 3 years ago

@eine Should be working now and ready for merge.

eine commented 3 years ago

Thanks @tmeissner! The failure of formal is expected, because hdlc/pkg:yices2 is built in this PR but not pushed to dockerhub yet.