1. Install SDVRP as described on SLAM page (http://research.microsoft.com/slam)

2. Ensure that your system has FSharp 1.9.9.9 and FSharp Powerpack 1.9.9.9 installed.
You can download F# 1.9.9.9 from: http://www.microsoft.com/en-us/download/details.aspx?id=15853
And F# Powerpack 1.9.9.9 from: http://fsharppowerpack.codeplex.com/releases/view/40168

3. Download yogi.zip from http://research.microsoft.com/en-us/downloads/03c46195-da8b-4bbc-b59e-2fb18a8a3c3a/

4. Unzip contents of yogi.zip to C:\WinDDK\SDV\bin\engine\yogi.Please create the folder yogi if it does not 
exist.  

5. You will see an enginea (path: C:\WinDDK\SDV\bin\engine\yogi\enginea) folder appear with the binaries in that 
folder.

6. cd C:\WinDDK\SDV\bin\engine

7. robocopy /mir enginea enginea.bak (this is in case you want to use SLAM2 in the future).

8. copy yogi\enginea\* enginea\*

9. Now you are done, and you can use SDVRP with the Yogi verification engine!