-
Notifications
You must be signed in to change notification settings - Fork 3
/
Cargo.toml
38 lines (34 loc) · 1.32 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
[package]
name = "rIC3"
version = "1.3.2"
edition = "2021"
authors = ["Yuheng Su <[email protected]>"]
repository = "https://github.com/gipsyh/rIC3"
description = "rIC3: An efficient hardware model checker"
keywords = ["model-checking", "formal-verification", "IC3", "SAT"]
license = "GPL-3.0"
rust-version = "1.85"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
aig = { path = "./deps/aig-rs", version = "0.2.4" }
satif-minisat = { path = "./deps/minisat-rs", version = "0.2" }
satif-cadical = { path = "./deps/cadical-rs", version = "0.1" }
satif-kissat = { path = "./deps/kissat-rs", version = "0.4" }
logic-form = { path = "./deps/logic-form", version = "0.2.6" }
giputils = { path = "./deps/giputils", version = "0.2.3" }
satif = { path = "./deps/satif", version = "0.1" }
abc-rs = { path = "./deps/abc-rs", version = "0.2" }
clap = { version = "4.5.16", features = ["derive"] }
rand = "0.8.5"
ctrlc = { version = "3.4.1", features = ["termination"] }
bitfield-struct = "0.8.0"
tempfile = "3.10.1"
process_control = "4.1.0"
nix = { version = "0.27.1", features = ["signal"] }
procspawn = "1.0.0"
shadow-rs = "0.34.0"
[build-dependencies]
shadow-rs = "0.34.0"
[features]
default = ["no_bound_check"]
no_bound_check = ["logic-form/no_bound_check", "giputils/no_bound_check"]