-
Notifications
You must be signed in to change notification settings - Fork 2
/
Cargo.toml
45 lines (39 loc) · 1.08 KB
/
Cargo.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
[package]
name = "crustabri"
authors = ["Jean-Marie Lagniez <[email protected]>", "Emmanuel Lonca <[email protected]>", "Jean-Guy Mailly <[email protected]>"]
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"