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 'superprove' workflow and dockerfile #8

Closed tmeissner closed 3 years ago

tmeissner commented 3 years ago

Attempt to add Super Prove.

eine commented 3 years ago

Thanks!