mikino_api 0.9.1

A simple induction and BMC engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

# 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