Bvlogic#601

BritikovKI wants to merge 18 commits into

masterusi-verification-and-security/opensmt:masterfrom

bvlogicusi-verification-and-security/opensmt:bvlogicCopy head branch name to clipboard