mikino_api 0.9.0

A simple induction and BMC engine
Documentation 
1
2
3
4
5
6
7
8
9

# 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