# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "smt_sb-rs" version = "0.1.6" authors = ["David Doose "] include = [ "**/*.rs", "Cargo.toml", "Readme_crates.md", ] description = "SMT Simple Binding" readme = "README.md" keywords = ["SMT"] license = "LGPL-3.0-only" repository = "https://github.com/DavidD12/smt_sb-rs" [lib] name = "smt_sb" path = "src/lib.rs" [[bin]] name = "main" path = "bin/main.rs" [dependencies]