/var/spack/repos/builtin/packages/py-z3-solver/