Cargo.toml 253 B

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