[package]
name = "propositional-tableau-solver-rs"
version = "0.1.0"
authors = ["许杰友 Jieyou Xu (Joe) <jieyouxu@outlook.com>"]
edition = "2018"
description = "Propositional tableau solver for propositional formulas"
license = "MIT"
[[bin]]
name = "prop-sat-solver"
path = "src/main.rs"
[lib]
name = "libprop_sat_solver"
path = "src/lib.rs"
[dev-dependencies]
assert2 = "0.2.0"
[dependencies]
nom = "5.1.1"
nom_locate = "2.0.0"
colored = "1.9.3"
structopt = { version = "0.3.14", features = ["color", "suggestions", "wrap_help", "paw"] }
paw = "1.0.0"
log = "0.4.8"
pretty_env_logger = "0.4.0"