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 Boolector install steps in docker
#167
Closed
Bo-Yuan-Huang
closed
4 years ago
Bo-Yuan-Huang
commented
4 years ago
use PySMT embedded installation
modify btor install commands
modify btor solver interface
use latest z3 in the docker images instead of canonical packages