v0.2.0

Renamed packages and added support for Sets (supported by cvc5)

v0.1.1

Same as v0.1.0 but for a fix to make it compile/pass clippy checks with rust-1.65.0-nightly.

v0.1.0

First release. Works on most of SMT-LIB. Still some issues with datatypes.