-
Notifications
You must be signed in to change notification settings - Fork 10
/
Cargo.toml
62 lines (60 loc) · 1.44 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
[package]
name = "Robinson"
version = "0.1.0"
authors = ["Sarek Høverstad Skotåm <[email protected]>"]
edition = "2021"
[dependencies]
clap = { version = "4.5", features = ["cargo"] }
creusot-contracts = { git = "https://github.com/xldenis/creusot", version = "^0", rev = "1357cc97" }
# This is just copied verbatim from CreuSAT.
[features]
trust_all = [
"trust_assignments",
"trust_clause",
"trust_conflict",
"trust_decision",
"trust_formula",
"trust_lit",
"trust_solver",
"trust_trail",
"trust_unit",
"trust_util",
"trust_watches",
"trust_logic",
]
trust_logic = [
"trust_clause_logic",
"trust_conflict_logic",
"trust_decision_logic",
"trust_formula_logic",
"trust_lit_logic",
"trust_solver_logic",
"trust_trail_logic",
"trust_unit_logic",
"trust_util_logic",
"trust_watches_logic",
"trust_logic_logic",
]
trust_assignments = []
trust_assignments_logic = []
trust_clause = []
trust_clause_logic = []
trust_conflict = ["trust_conflict_logic"]
trust_conflict_logic = []
trust_decision = []
trust_decision_logic = []
trust_formula = ["trust_formula_logic"]
trust_formula_logic = []
trust_lit = ["trust_lit_logic"]
trust_lit_logic = []
trust_logic_logic = []
trust_solver = []
trust_solver_logic = []
trust_trail = ["trust_trail_logic"]
trust_trail_logic = []
trust_unit = []
trust_unit_logic = []
trust_util = []
trust_util_logic = []
trust_watches = []
trust_watches_logic = []