[dependencies.colosseum]
optional = true
version = "0.2.2"
[dependencies.hashbrown]
version = "0.9.1"
[dependencies.log]
version = "0.4.17"
[dependencies.num-bigint]
optional = true
version = "0.4.3"
[dependencies.num-traits]
optional = true
version = "0.2.15"
[dependencies.serde]
features = ["derive"]
optional = true
version = "1.0.137"
[dependencies.tptp]
optional = true
version = "0.31.1"
[features]
default = ["colosseum", "serde", "tptp", "order"]
order = ["num-bigint", "num-traits"]
[package]
authors = ["Michael Färber <michael.faerber@gedenkt.at>"]
categories = ["no-std", "science"]
description = "Highly efficient first-order connection proving"
edition = "2018"
keywords = ["first-order", "logic", "prover"]
license = "GPL-3.0-only"
name = "cop"
readme = "README.md"
repository = "https://github.com/01mf02/cop-rs"
rust-version = "1.62"
version = "0.2.0"