Project

General

Profile

Download (154 Bytes) Statistics
| Branch: | Tag: | Revision:
1
export LD_LIBRARY_PATH=/home/corentin/.opam/4.06.1/lib/z3:$LD_LIBRARY_PATH
2
export DYLD_LIBRARY_PATH=/home/corentin/.opam/4.06.1/lib/z3:$DYLD_LIBRARY_PATH
(17-17/18)