search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
368 stars 46 forks source link

Building Yices using WLLVM #350

Closed Mohannadcse closed 3 years ago

Mohannadcse commented 3 years ago

How to build the whole program of Yices using WLLVM?

caballa commented 3 years ago

https://github.com/SRI-CSL/OCCAM/tree/master/examples/portfolio/yices2

ianamason commented 3 years ago

Though you should be using gllvm not wllvm!