/z3/subprojects/
../
solver-darwin-aarch64
solver-darwin-x86-64
solver-linux-aarch64
solver-linux-x86-64
solver-win32-x86-64
solver