bool2cnf 0.1.9

transfer boolean expression to dimacs directly
Documentation
[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"