- [package]
- name = "rakonteto"
- version = "0.1.0"
- authors = ["Getty Ritter <samothes@infinitenegativeutility.com>"]
- edition = "2018"
- # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
- [dependencies]
- z3 = "*"
|