Module Verification.Z3backend

Interfacing with the Z3 SMT solver