# v0.9.1

- bumped to `mikino_api` v0.9.1
- fixed parser bug on `and` and `or`

# 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