# 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 = "pblib-rs" version = "0.1.0" authors = ["Emmanuel Lonca "] build = "build.rs" links = "libcpblib.a" description = "Rust safe bindings for pblib" readme = "README.md" keywords = [ "cardinality", "PB", "constraints", "encoding", "SAT", ] categories = [ "api-bindings", "encoding", "mathematics", "science", ] license = "LGPL-3.0-or-later" repository = "https://github.com/crillab/pblib-rs" [dev-dependencies.splr] version = "0.17.1" features = ["incremental_solver"] [build-dependencies.cc] version = "1.0" features = ["parallel"] [lints.clippy] pedantic = "warn" [lints.rust] missing_docs = "warn"