Whiley/WhileyCompiler — pull request #361 by DavePearce (2014-06-13 07:56:24+00:00)
Title: Integrate Z3 Backend

Attempting to pull Henry's code from his repository back into the Whiley Compiler.