[dependencies.cnfgen]
version = "0.2.1"
[dependencies.env_logger]
version = "0.9.0"
[dependencies.log]
version = "0.4.17"
[dependencies.regex]
version = "1.7.0"
[dependencies.rustlogic]
package = "rustlogic-march1917"
version = "0.1.0"
[dependencies.serde]
features = ["derive"]
version = "1.0.148"
[dependencies.serde_json]
version = "1.0.89"
[dependencies.varisat]
version = "0.2.2"
[package]
description = "transfer boolean expression to dimacs directly"
edition = "2021"
license = "MIT"
name = "bool2cnf"
readme = "README.md"
version = "0.1.9"