chore: release v0.3.0

[github-actions]

🤖 New release

• smtlib: 0.2.0 -> 0.3.0
• smtlib-lowlevel: 0.2.0 -> 0.3.0

Changelog

smtlib

[0.2.0] - 2024-05-02

Documentation

• Update backend doc links

Features

• [breaking] Remove async-trait crate and async, z3, cvc5 features
• [breaking] Remove Async{Driver,Solver} in favor of Tokio{Driver,Solver}

Miscellaneous Tasks

• Skip formatting generated files

Refactor

• Generate logics.rs in xtask rather than build.rs
• Generate ast.rs in xtask rather than build.rs

Misc

• Move some crate versions to root Cargo.toml

---

This PR was generated with release-plz.