Есть ли возможность (переменная среды или флаг) сообщить компоновщику Intel Fortran ifort ... mylib.lib для поиска библиотек в указанном каталоге перед поиском в стандартных каталогах в Windows (аналогично -L в Linux или флаг link...

Я установил доказатель теорем Z3 в Linux и использую его привязки к Python (Z3Py). Я попытался протестировать минимальный пример, но сразу получил следующую ошибку: z3.z3types.Z3Exception: init(Z3_LIBRARY_PATH) must be invoked before using...