search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Yices does not work out of the box #49

Closed richardanaya closed 4 years ago

richardanaya commented 4 years ago

I ran the suggested commands to run hello on the Readme.md and it gave me an error message about not finding z3

Maybe remove the suggestion of installing yices if it doens't work?

aep commented 4 years ago

yices is a little confusing. you need yices_smt2_mt, which may or may not be in your distros package.

aep commented 4 years ago

the behaviour of finding yices has changed, does it work for you now?

aep commented 4 years ago

closing this due to lack of response.

feel free to reopen if it still doesnt work :)