Vector (const) view#794

Tomaqa wants to merge 1 commit intomasterusi-verification-and-security/opensmt:masterfrom

vector-viewusi-verification-and-security/opensmt:vector-viewCopy head branch name to clipboard