I wanted to install the latest recommended nightly build (sscboogie-nightly_rev219e6b40fa91_2012-06-02 09:01.zip), followed the steps (got three "Types registered successfully") but no new project type appeared in my MSVS Express 2010.
I have Z3 in version 4.0 but I didn't get any exception. But I guess this is completely unreletated to my installation problem.
Any idea what I am doing wrong? Thanks!
↧