v1.2.0

Expects mata v1.2.4

What's Changed

• Update base Z3 to v4.13.0 by @jurajsic in #133
• Regex construction: optimizations by @vhavlena in #134
• Nielsen optimizations by @vhavlena in #136
• Reenable rewriter rule (str.in A (str.to_re B)) -> (A = B) by @jurajsic in #137
• Multiple regex membership heuristic by @jurajsic in #139
• Fixing infinite looping by @vhavlena in #140
• Fix invalid link to SMTLIB theory of strings by @Adda0 in #141
• Add support for QF_SNIA by @jurajsic in #144
• Multiple membership heuristic improvement by @jurajsic in #145

Full Changelog: v1.1.0...v1.2.0