forked from ltentrup/caqe
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Cargo.toml
51 lines (43 loc) · 1.46 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
46
47
48
49
50
51
[package]
name = "caqe"
version = "4.0.0"
authors = ["Leander Tentrup <tentrup@react.uni-saarland.de>"]
edition = "2018"
[dependencies]
cryptominisat = { git = "https://github.com/msoos/cryptominisat-rs", branch= "master" }
log = { version = "0.4.6", features = ["release_max_level_warn"] }
simplelog = "0.5.3"
bit-vec = "0.5.0"
tempfile = "3.0.6" # for first running preprocessor and piping result to temporary
clap = "2.32.0" # parsing command line arguments
rustc-hash = "1.0.1" # fast, non-randomized HashMap/HashSet
uncover = "0.1.1" # test maintainence
ena = "0.11" # union-find implementation
dot = "0.1.4" # graphviz dot representation of structures
jemallocator = { version = "0.1.9", optional = true }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
indicatif = "0.11.0" # progress bars
atomicwrites = "0.2.2" # atomic file writes
colored-diff = "0.2.1" # visualize differences in configurations
[patch.crates-io]
#cryptominisat = { git = "https://github.com/ltentrup/cryptominisat-rs.git" }
[features]
default = ["jemalloc"]
statistics = [] # enable statistics
jemalloc = ["jemallocator"] # use jemalloc allocator instead of system one
[profile.release]
opt-level = 3
lto = true
codegen-units = 1
incremental = false
[[bin]]
name = "caqe"
path = "src/bin/caqe.rs"
[[bin]]
name = "dcaqe"
path = "src/bin/dcaqe.rs"
[[bin]]
name = "experiment"
path = "src/bin/experiment.rs"
required-features = ["statistics"]