Project

General

Profile

Download (108 Bytes) Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
e491c34a 11/17/2018 01:56 AM Pierre-Loïc Garoche

Issues with linking Z3 on OSX

5275a6fd 05/29/2018 12:10 AM Pierre-Loïc Garoche

[lustrev] forced the z3 lib to be loaded before others when using the provided bash script.

c5de2e97 03/15/2018 03:50 AM Pierre-Loïc Garoche

Add the script to update LD_LIBRARY_PATH for z3