build(deps): bump rsmt2 from 0.12.0 to 0.16.2

[dependabot]

Bumps rsmt2 from 0.12.0 to 0.16.2.

Changelog

Sourced from rsmt2's changelog.

v0.16.2

• update error-chain dependency version requirement to ^0.12
• update clap dev-dependency version requirement to ^3.2
• fix solver.rs interpolant test for z3 v4.11.2

v0.16.1

• fixed a bug in low-level SMT-LIB-loading/parsing (see issue #33)

v0.16.0

• fixed success handling, and added documentation
• success-related SmtConf functions have been renamed, print_success and parse_success are now check_success

v0.15.1

• eof token has been renamed to eoi
• fixed a bug in SMT-level error parsing
• minor internal revamping (try_load_sexpr)

v0.14.1

• properly wait for child solver process, #29

v0.14.0

• Solver::get_interpolant now mature enough for actual use (examples in doc)
• () now implements all parser traits but ProofParser (generates &str or String)
• overall improvements documentation-wise, including more examples

v0.13.1

• added named assert function on Solvers
  • Solver::named_assert_act_with: named + actlit + print info
  • Solver::named_assert_with: named + print info
  • Solver::named_assert: named
• simplified most Solver function signatures

  • take ownership over expressions, symbols and sorts (previously took references)

    still accepts refs since T: Sym2Smt<Info> ⇒ &T: Sym2Smt<Info>, same for Expr2Smt and Sort2Smt.

  • Solver functions taking collections (iterators) now abstract over what they expect the items to be. Previously, they had to be (constrained) pairs or triplets. They now expect some type implementing the relevant trait for the information they expect (SymAndSort for instance). These traits are implemented for the pairs/triplets from previous versions: this new workflow should not break existing code.

  • [breaking] revamp of declare_datatypes, see documentation.

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)