# v0.9.1

- added a function generating `rsmt2::SmtConf` from a string Z3 CLI invokation with arguments
- fixed parser for `and` and `or` operators

# v0.9.0

- added a notion of script
	- very similar to SMT-LIB 2 but with Rust-flavored syntax
	- adds branching (if-then-else) over check-sat-s compared to SMT-LIB
	- adds `panic`, `exit`, `println`... commands
	- allows binding check-sat results to (meta-)variables
- various QoL improvements
- minor bugfixes