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

Fix for FreeBSD #372

Closed hliebel closed 3 years ago

hliebel commented 3 years ago

https://github.com/B-Lang-org/bsc/pull/260#issuecomment-692600157

BrunoDutertre commented 3 years ago

Thanks for the fix.