[package] name = "synthesis" version = "0.0.0" authors = ["Rin "] edition = "2018" description = "Programme synthesis" documentation = "https://github.com/synthet-ic/synthesis/docs" readme = "README.md" homepage = "https://github.com/synthet-ic/synthesis" repository = "https://github.com/synthet-ic/synthesis" license = "MIT OR Apache-2.0" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [dependencies]