[package] name = "crustabri" authors = ["Jean-Marie Lagniez <lagniez@cril.fr>", "Emmanuel Lonca <lonca@cril.fr>", "Jean-Guy Mailly <jean-guy.mailly@u-paris.fr>"] license = "GPL-3.0-or-later" version = "1.1.1" description = "An argumentation framework library & solver." categories = ["command-line-utilities", "science"] keywords = ["argumentation", "frameworks", "AF", "solver"] repository = "https://github.com/crillab/crustabri" edition = "2021" default-run = "crustabri" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [lib] name = "crustabri" path = "src/lib.rs" [[bin]] name = "crustabri" path = "src/main.rs" [[bin]] name = "crustabri_iccma23" path = "src/main_iccma23.rs" [dependencies] anyhow = "1.0.65" cadical = "0.1.14" chrono = "0.4.19" clap = "2.33.3" fern = { version = "0.6.0", features = ["colored"] } lazy_static = "1.4.0" log = "0.4.20" permutator = "0.4.3" regex = "1.6.0" strum = "0.24.1" strum_macros = "0.24.1" sysinfo = "0.23.13" [dev-dependencies] assert_cmd = "2.0" assert_fs = "1.0" paste = "1.0.11" predicates = "2.1"