# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT

[package]
name = "kani"
version = "0.0.1"
edition = "2021"
description = "Placeholder crate for the library of the Kani Rust verifier."
readme = "README.md"
keywords = ["model-checking", "verification"]
categories = ["development-tools"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/model-checking/kani"
documentation = "https://model-checking.github.io/kani/"
homepage = "https://github.com/model-checking/kani"
# N.B. Cargo.* is included automatically:
include = ["src/*", "/LICENSE-*", "/README.md"]
publish = ["crates-io"]