Boogie.rs

A Rust API for constructing and verifying Boogie programs.