issues
search
PrincetonUniversity
/
ILAng
A Modeling and Verification Platform for SoCs using ILAs
https://bo-yuan-huang.gitbook.io/ilang/
MIT License
75
stars
18
forks
source link
Update Dockerfile for CoSA base image
#151
Closed
Bo-Yuan-Huang
closed
4 years ago
Bo-Yuan-Huang
commented
4 years ago
Use CoSA in
master
branch
Use Boolector in
master
branch
Need to run
pysmt-install --btor
to install Boolector for CoSA (PySMT)
master
branchmaster
branchpysmt-install --btor
to install Boolector for CoSA (PySMT)