Hi, Andreas,
I ran into this some time ago as well (using Windows 7). I fixed it by copying the z3.exe and supporting .dll files into the directory where VS2012 installs the Dafny extension files (in C:/Users/<username>/AppData/Local/Microsoft/VisualStudio/11.0/Extensions/... .)
I ran into this some time ago as well (using Windows 7). I fixed it by copying the z3.exe and supporting .dll files into the directory where VS2012 installs the Dafny extension files (in C:/Users/<username>/AppData/Local/Microsoft/VisualStudio/11.0/Extensions/... .)
- Rajeev