This page has moved to a new address.

A Tutorial for Running Boogie and Z3 on Linux