| # 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 believe there's an error in this file please file an |
| # issue against the rust-lang/cargo repository. If you're |
| # editing this file be aware that the upstream Cargo.toml |
| # will likely look very different (and much more reasonable) |
| |
| [package] |
| edition = "2018" |
| name = "varisat-formula" |
| version = "0.2.2" |
| authors = ["Jannis Harder <[email protected]>"] |
| description = "Basic formula data types used by the Varisat SAT solver" |
| homepage = "https://jix.one/project/varisat/" |
| readme = "README.md" |
| license = "MIT/Apache-2.0" |
| repository = "https://github.com/jix/varisat" |
| [dependencies.proptest] |
| version = "0.10.1" |
| optional = true |
| |
| [dependencies.rand] |
| version = "0.7.3" |
| optional = true |
| [dev-dependencies.proptest] |
| version = "0.10.1" |
| |
| [dev-dependencies.rand] |
| version = "0.7.3" |
| |
| [features] |
| default = [] |
| internal-testing = ["proptest", "rand"] |
| proptest-strategies = ["proptest"] |
