smtlib-v0.2.0

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