issues
search
sim642
/
z3em
Z3 via emscripten
https://www.npmjs.com/package/z3em
MIT License
8
stars
1
forks
source link
fix script for OSX and upgrade Z3
#3
Open
shmish111
opened
4 years ago