forked from cksystemsgroup/unicorn
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
70 lines (63 loc) · 2.43 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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
[package]
name = "unicorn-rs"
description = "Unicorn is a compiler and runtime system for quantum computing"
authors = ["Michael Starzinger <[email protected]>", "Stefanie Muroya"]
repository = "https://github.com/cksystemsgroup/unicorn"
homepage = "https://cksystemsgroup.github.io/unicorn"
license = "MIT"
categories = ["command-line-utilities", "development-tools::testing", "science", "simulation"]
keywords = ["quantum-annealing", "quantum-computing", "bounded-model-checking", "symbolic-execution", "smt", "sat"]
edition = "2018"
version ="0.4.1"
[features]
default = []
gui = ["egui", "eframe", "rfd", "indexmap"]
z3 = ["z3-solver", "z3-sys"]
boolector = ["boolector-solver", "boolector-sys"]
kissat = ["kissat-rs"]
varisat = ["varisat-rs"]
cadical = ["cadical-rs"]
true-rng = []
[lib]
name = "unicorn"
path = "src/lib.rs"
[[bin]]
name = "unicorn"
path = "src/main.rs"
[dependencies]
byteorder = "~1.4.3"
clap = { version = "~4.3.3", features = ["cargo"] }
strum = { version = "~0.24.1", features = ["derive"] }
riscu = "~0.5"
log = "~0.4.19"
regex = "~1.8.4"
env_logger = "~0.10"
bytesize = "~1.2"
anyhow = "~1.0.71"
thiserror = "~1.0.40"
pyo3 = { version = "~0.19.0", features = ["auto-initialize"] }
egui = { version = "0.22.0", optional = true }
indexmap = { version = "1.9.3", optional = true }
eframe = { version = "0.22.0", optional = true }
rfd = { version = "0.11.4", optional = true }
boolector-solver = { package = "boolector", version = "~0.4.3", features = ["vendor-lgl"], optional = true }
boolector-sys = { version = "~0.7.1", features = ["vendor-lgl"], optional = true }
z3-solver = { package = "z3", version = "~0.11.2", features = ["static-link-z3"], optional = true }
z3-sys = { version = "~0.7.1", features = ["static-link-z3"], optional = true }
kissat-rs = { git = "https://github.com/firefighterduck/kissat-rs", branch = "main", version = "0.1", optional = true }
varisat-rs = { package = "varisat", version = "0.2.2", optional = true }
cadical-rs = { package = "cadical", version = "0.1.14", optional = true }
[patch.crates-io]
# TODO: Allows us to work on `riscu` and `unicorn` in parallel. Remove
# once `riscu` stabilizes and we made another crates.io release of it.
riscu = { git = 'https://github.com/cksystemsgroup/riscu' }
[dev-dependencies]
rayon = "~1.7"
tempfile = "~3.6.0"
which = "~4.4"
log = "~0.4.19"
env_logger = "~0.10"
[dev-dependencies.cargo-husky]
version = "1"
default-features = false
features = ["user-hooks"]