[dependencies.proptest]
optional = true
version = "0.10.1"
[dependencies.rand]
optional = true
version = "0.7.3"
[dev-dependencies.proptest]
version = "0.10.1"
[dev-dependencies.rand]
version = "0.7.3"
[features]
default = []
internal-testing = ["proptest", "rand"]
proptest-strategies = ["proptest"]
[package]
authors = ["Jannis Harder <me@jix.one>"]
description = "Basic formula data types used by the Varisat SAT solver"
edition = "2018"
homepage = "https://jix.one/project/varisat/"
license = "MIT/Apache-2.0"
name = "varisat-formula"
readme = "README.md"
repository = "https://github.com/jix/varisat"
version = "0.2.2"