[badges.is-it-maintained-issue-resolution]
repository = "https://github.com/rust-lang-nursery/datafrog"
[badges.is-it-maintained-open-issues]
repository = "https://github.com/rust-lang-nursery/datafrog"
[dev-dependencies.proptest]
version = "0.8.7"
[package]
authors = ["Frank McSherry <fmcsherry@me.com>", "The Rust Project Developers", "Datafrog Developers"]
description = "Lightweight Datalog engine intended to be embedded in other Rust programs"
edition = "2018"
keywords = ["datalog", "analysis"]
license = "Apache-2.0/MIT"
name = "datafrog"
readme = "README.md"
repository = "https://github.com/rust-lang-nursery/datafrog"
version = "2.0.0"