| # 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-checker" |
| version = "0.2.2" |
| authors = ["Jannis Harder <[email protected]>"] |
| description = "Proof checker for proofs generate 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.anyhow] |
| version = "1.0.32" |
| |
| [dependencies.log] |
| version = "0.4.6" |
| |
| [dependencies.partial_ref] |
| version = "0.3.1" |
| |
| [dependencies.rustc-hash] |
| version = "1.1.0" |
| |
| [dependencies.smallvec] |
| version = "1.4.2" |
| |
| [dependencies.thiserror] |
| version = "1.0.20" |
| |
| [dependencies.varisat-dimacs] |
| version = "=0.2.2" |
| |
| [dependencies.varisat-formula] |
| version = "=0.2.2" |
| |
| [dependencies.varisat-internal-proof] |
| version = "=0.2.2" |
| [dev-dependencies.proptest] |
| version = "0.10.1" |
| |
| [dev-dependencies.varisat-formula] |
| version = "=0.2.2" |
| features = ["internal-testing"] |
