This page has moved to a new address.
An Old Tutorial for Running Boogie and Z3 on Linux (for .NET 2.0)